src/Pure/proofterm.ML
2001-12-14 wenzelm 2001-12-14 type_env;
2001-11-28 wenzelm 2001-11-28 theory data: removed obsolete finish method;
2001-11-24 wenzelm 2001-11-24 fixed SML/NJ error (!?);
2001-11-24 wenzelm 2001-11-24 use merge_lists, merge_alists;
2001-11-24 berghofe 2001-11-24 Extended match_proof to handle abstractions.
2001-11-19 berghofe 2001-11-19 - Fixed bug in shrink - Restored old behaviour of thm_proof - Eliminated reference from theory data
2001-11-09 wenzelm 2001-11-09 theory data: finish method;
2001-11-03 berghofe 2001-11-03 Fixed bug in function add_npvars.
2001-10-31 berghofe 2001-10-31 Tuned function thm_proof.
2001-10-10 berghofe 2001-10-10 Tuned several functions to improve sharing of unchanged subproofs.
2001-10-03 paulson 2001-10-03 eta-expansion required for SML/NJ
2001-09-28 berghofe 2001-09-28 - Exchanged % and %%. - Fixed bug in shrink.
2001-09-01 wenzelm 2001-09-01 renamed `keep_derivs' to `proofs', and made an integer;
2001-08-31 wenzelm 2001-08-31 fixed header;
2001-08-31 berghofe 2001-08-31 New implementation of LF style proof terms.