src/HOL/Decision_Procs/ferrack_tac.ML
2010-05-05 ago farewell to old-style mem infixes -- type inference in situations with mem_int and mem_string should provide enough information to resolve the type of (op =)
2010-03-07 ago modernized structure Object_Logic;
2010-02-19 ago local Simplifier.context;
2010-02-19 ago renamed Simplifier.theory_context to Simplifier.global_context to emphasize that this is not the real thing;
2009-10-19 ago always qualify NJ's old List.foldl/foldr in Isabelle/ML;
2009-10-17 ago eliminated hard tabulators, guessing at each author's individual tab-width;
2009-09-29 ago explicit indication of Unsynchronized.ref;
2009-06-24 ago corrected and unified thm names
2009-05-30 ago proper signature constraint;
2009-03-13 ago unified type Proof.method and pervasive METHOD combinators;
2009-03-11 ago Updated paths in Decision_Procs comments and NEWS
2009-03-04 ago Merge.
2009-03-04 ago Merge.
2009-03-03 ago removed and renamed redundant lemmas
2009-02-21 ago removed redundant thms
2009-02-17 ago Cleaned up IntDiv and removed subsumed lemmas.
2009-02-06 ago session Reflecion renamed to Decision_Procs, moved Dense_Linear_Order there