src/Pure/Proof/extraction.ML
2004-12-10 berghofe 2004-12-10 Added term cache to function condrew in order to speed up rewriting.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-06-01 wenzelm 2004-06-01 removed obsolete sort 'logic';
2004-03-19 paulson 2004-03-19 Removing the datatype declaration of "order" allows the standard General.order to be used. Thus we can use Int.compare and String.compare instead of the slower home-grown versions.
2003-01-29 berghofe 2003-01-29 Fixed bug in function corr.
2002-11-27 berghofe 2002-11-27 Correctness proofs are now modular, too.
2002-11-17 berghofe 2002-11-17 Fixed small bug that caused some definitions to be "forgotten".
2002-11-13 berghofe 2002-11-13 - exported functions etype_of and mk_typ - new function realizes_of
2002-09-30 berghofe 2002-09-30 Added check for axioms with "realizes Null A = A".
2002-07-24 berghofe 2002-07-24 Tuned type constraint of function merge_rules to make smlnj happy.
2002-07-21 berghofe 2002-07-21 Added program extraction module.