blob: b96cd172ea3fa896e8c84d4a6995e7475c1795b8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
Plastic Proof General
Written by Paul Callaghan
$Id$
Status: under development together with Plastic
Maintainer: Paul Callaghan
Plastic version: ??
Plastic homepage: http://www.dur.ac.uk/CARG/plastic.html
========================================
|