src/HOL/Tools/refute_isar.ML
Mon, 28 Jan 2008 22:27:20 +0100 wenzelm removed redundant repeatd scanner combinator;
Sat, 06 Oct 2007 16:50:04 +0200 wenzelm simplified interfaces for outer syntax;
Fri, 19 Jan 2007 21:20:10 +0100 webertj reformatted to 80 chars/line
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