src/HOL/Tools/refute_isar.ML
2005-09-06 webertj 2005-09-06 unnecessary parentheses removed
2005-08-16 wenzelm 2005-08-16 OuterKeyword;
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2004-03-10 webertj 2004-03-10 *** empty log message ***
2004-01-10 webertj 2004-01-10 Adding 'refute' to HOL.