plastic/README


1
2
3
4
5
6
7
8
9
10
11
12
13

Plastic Proof General

Written by Paul Callaghan

Status:		  under development together with Plastic
Maintainer:	  Paul Callaghan
Plastic version:  ??
Plastic homepage: http://www.dur.ac.uk/CARG/plastic.html

========================================

$Id$