Fri, 25 Nov 1994 00:02:37 +0100 | lcp | added blank line | changeset | files |
Fri, 25 Nov 1994 00:01:04 +0100 | lcp | tidied proofs, using fast_tac etc. as much as possible | changeset | files |
Fri, 25 Nov 1994 00:00:35 +0100 | lcp | prove_fun: new; no longer depends upon the version in simpdata.ML | changeset | files |