src/Pure/Proof/reconstruct.ML
2005-07-28 wenzelm 2005-07-28 Sign.typ_unify;
2005-07-19 wenzelm 2005-07-19 Logic.incr_tvar;
2005-07-15 wenzelm 2005-07-15 tuned;
2005-07-13 haftmann 2005-07-13 (intermediate commit)
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-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-06-05 wenzelm 2004-06-05 pretty_thm/goals_aux, pretty_flexpair: pp;
2004-06-01 wenzelm 2004-06-01 removed obsolete sort 'logic';
2002-11-27 berghofe 2002-11-27 prop_of now returns proposition in beta-eta normal form.
2002-11-13 berghofe 2002-11-13 Improved function decompose.
2002-10-21 berghofe 2002-10-21 - reconstruct_proof no longer relies on TypeInfer.infer_types - fixed problem with theorems containing TFrees
2002-09-30 berghofe 2002-09-30 Fixed bug in expand_proof which caused indexes to be incremented incorrectly.
2002-07-10 berghofe 2002-07-10 expand_proof now also takes an optional term describing the proposition of the theorem to be expanded (to avoid problems with different theorems having the same names).
2002-06-28 berghofe 2002-06-28 Added function prop_of' taking assumption context as an argument.
2002-05-11 berghofe 2002-05-11 - Tuned function mk_cnstrts - Added function prop_of
2002-02-06 berghofe 2002-02-06 Indexes of variables in expanded proofs are now incremented to avoid clashes.
2001-12-18 wenzelm 2001-12-18 tuned Type.unify;
2001-11-19 berghofe 2001-11-19 Moved fastype to Envir.
2001-10-31 berghofe 2001-10-31 - Tuned add_cnstrt - Fixed bug in reconstruct_proof that caused infinite loop
2001-10-04 berghofe 2001-10-04 Fixed bug in decompose.
2001-09-28 berghofe 2001-09-28 - Exchanged % and %% - Renamed reconstruct_prf to reconstruct_proof
2001-08-31 wenzelm 2001-08-31 tuned headers;
2001-08-31 berghofe 2001-08-31 Initial revision of tools for proof terms.