src/HOL/ex/coopertac.ML
2008-02-16 huffman 2008-02-16 added lemma lists {normalize,succ,pred,minus,add,mult}_bin_simps
2008-01-26 wenzelm 2008-01-26 avoid redundant escaping of Isabelle symbols;
2007-07-20 haftmann 2007-07-20 dropped Nat.ML legacy bindings
2007-07-05 wenzelm 2007-07-05 renamed ObjectLogic.atomize_tac to ObjectLogic.atomize_prems_tac;
2007-06-21 huffman 2007-06-21 add thm antiquotations
2007-06-13 huffman 2007-06-13 thm antiquotations
2007-06-11 chaieb 2007-06-11 tuned tactic
2007-06-06 chaieb 2007-06-06 New Reflected Presburger added to HOL/ex