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