src/Pure/proofterm.ML
Wed, 31 Oct 2001 19:41:29 +0100 berghofe Tuned function thm_proof.
Wed, 10 Oct 2001 18:37:52 +0200 berghofe Tuned several functions to improve sharing of unchanged subproofs.
Wed, 03 Oct 2001 11:45:24 +0200 paulson eta-expansion required for SML/NJ
Fri, 28 Sep 2001 11:08:53 +0200 berghofe - Exchanged % and %%.
Sat, 01 Sep 2001 00:14:16 +0200 wenzelm renamed `keep_derivs' to `proofs', and made an integer;
Fri, 31 Aug 2001 22:44:44 +0200 wenzelm fixed header;
Fri, 31 Aug 2001 16:13:36 +0200 berghofe New implementation of LF style proof terms.
less more (0) tip