src/HOL/Decision_Procs/mir_tac.ML
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