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 |
Thu, 24 Nov 1994 10:57:24 +0100 | lcp | data_domain,Codata_domain: removed replicate; now return one | changeset | files |
Thu, 24 Nov 1994 10:53:46 +0100 | lcp | tidied proofs, using fast_tac etc. as much as possible | changeset | files |
Thu, 24 Nov 1994 10:47:45 +0100 | lcp | added comments on alternative uses of type_intrs/elims | changeset | files |
Thu, 24 Nov 1994 10:38:08 +0100 | lcp | modified for new treatment of mutual recursion | changeset | files |