| Sat, 06 Oct 2007 16:50:04 +0200 | simplified interfaces for outer syntax; | file | diff | annotate |
| Fri, 19 Jan 2007 21:20:10 +0100 | reformatted to 80 chars/line | file | diff | annotate |
| Tue, 06 Sep 2005 16:29:39 +0200 | unnecessary parentheses removed | file | diff | annotate |
| Tue, 16 Aug 2005 13:42:26 +0200 | OuterKeyword; | file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 | Move towards standard functions. | file | diff | annotate |
| Wed, 10 Mar 2004 20:31:47 +0100 | *** empty log message *** | file | diff | annotate |
| Sat, 10 Jan 2004 13:35:10 +0100 | Adding 'refute' to HOL. | file | diff | annotate |