2001-11-24 ago Extended match_proof to handle abstractions.
2001-11-19 ago - Fixed bug in shrink
2001-11-09 ago theory data: finish method;
2001-11-03 ago Fixed bug in function add_npvars.
2001-10-31 ago Tuned function thm_proof.
2001-10-10 ago Tuned several functions to improve sharing of unchanged subproofs.
2001-10-03 ago eta-expansion required for SML/NJ
2001-09-28 ago - Exchanged % and %%.
2001-09-01 ago renamed `keep_derivs' to `proofs', and made an integer;
2001-08-31 ago fixed header;
2001-08-31 ago New implementation of LF style proof terms.