Wed, 20 Mar 1996 18:40:57 +0100 | paulson | maketest now closes the output file | changeset | files |
Wed, 20 Mar 1996 18:39:59 +0100 | paulson | New module for display/printing operations, taken from drule.ML | changeset | files |
Wed, 20 Mar 1996 18:36:59 +0100 | paulson | Describes proof objects and Deriv module | changeset | files |