src/HOL/Tools/refute_isar.ML
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.