src/Pure/Proof/proofchecker.ML
2005-04-21 berghofe 2005-04-21 Adapted to new interface of instantiation and unification / matching functions.
2005-03-04 skalberg 2005-03-04 Removed practically all references to Library.foldr.
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-06-23 skalberg 2004-06-23 Moved conversion rules from MetaSimplifier to Drule. refl_implies removed from Drule, instead imp_cong' exported from there.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2002-11-27 berghofe 2002-11-27 - tuned beta_eta_convert - returned theorem is now in beta-eta normal form
2002-10-21 berghofe 2002-10-21 Fixed problem with theorems containing TFrees.
2001-11-19 berghofe 2001-11-19 Improved error message.
2001-09-28 berghofe 2001-09-28 Exchanged % and %%.
2001-08-31 wenzelm 2001-08-31 tuned headers;
2001-08-31 berghofe 2001-08-31 Initial revision of tools for proof terms.