src/HOL/ex/coopertac.ML
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