src/HOL/Decision_Procs/cooper_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;
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-25 ago proper signature constraints;
2009-05-08 ago dropped legacy ml theorem binding
2009-04-17 ago added both cancel_div_mod_procs
2009-03-13 ago more regular method setup via SIMPLE_METHOD;
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-20 ago Removed redundant lemmas
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