src/HOL/Decision_Procs/mir_tac.ML
2010-05-15 wenzelm 2010-05-15 less pervasive names from structure Thm;
2010-05-05 haftmann 2010-05-05 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-04-23 haftmann 2010-04-23 dequalified fact name
2010-03-07 wenzelm 2010-03-07 modernized structure Object_Logic;
2010-02-08 haftmann 2010-02-08 renamed OrderedGroup to Groups; split theory Ring_and_Field into Rings Fields
2009-10-19 wenzelm 2009-10-19 always qualify NJ's old List.foldl/foldr in Isabelle/ML;
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-06-24 nipkow 2009-06-24 corrected and unified thm names
2009-05-25 wenzelm 2009-05-25 proper signature constraints; modernized method setup;
2009-04-17 haftmann 2009-04-17 added both cancel_div_mod_procs
2009-03-13 wenzelm 2009-03-13 more regular method setup via SIMPLE_METHOD;
2009-03-11 hoelzl 2009-03-11 Updated paths in Decision_Procs comments and NEWS
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-03 nipkow 2009-03-03 removed and renamed redundant lemmas
2009-02-21 nipkow 2009-02-21 removed redundant thms
2009-02-20 nipkow 2009-02-20 Removed redundant lemmas
2009-02-17 nipkow 2009-02-17 Cleaned up IntDiv and removed subsumed lemmas.
2009-02-06 haftmann 2009-02-06 session Reflecion renamed to Decision_Procs, moved Dense_Linear_Order there