src/HOL/Tools/refute_isar.ML
Tue, 06 Sep 2005 16:29:39 +0200 webertj unnecessary parentheses removed
Tue, 16 Aug 2005 13:42:26 +0200 wenzelm OuterKeyword;
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions.
Wed, 10 Mar 2004 20:31:47 +0100 webertj *** empty log message ***
Sat, 10 Jan 2004 13:35:10 +0100 webertj Adding 'refute' to HOL.
less more (0) tip