Plastic Proof General

Written by Paul Callaghan

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

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

$Id: README,v 11.0 2010/10/10 22:57:10 da Exp $

