| Thu, 04 Mar 2004 15:48:38 +0100 | nipkow | ML -> Isar | file | diff | annotate |
| Thu, 04 Mar 2004 10:04:42 +0100 | nipkow | Conversion of ML files to Isar. | file | diff | annotate |
| Thu, 19 Feb 2004 18:24:08 +0100 | paulson | removal of the legacy ML structure List | file | diff | annotate |
| Mon, 13 May 2002 15:27:28 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 17 Jan 2002 19:32:22 +0100 | nipkow | Added code generation to Scanner.thy | file | diff | annotate |
| Thu, 13 Dec 2001 16:47:35 +0100 | nipkow | comp -> rel_comp | file | diff | annotate |
| Tue, 26 Jun 2001 15:28:49 +0200 | nipkow | removed duplicate proof and small mod. | file | diff | annotate |
| Mon, 13 Mar 2000 16:23:34 +0100 | wenzelm | case_tac now subsumes both boolean and datatype cases; | file | diff | annotate |
| Mon, 13 Mar 2000 12:51:10 +0100 | nipkow | exhaust_tac -> cases_tac | file | diff | annotate |
| Wed, 27 Oct 1999 19:32:19 +0200 | oheimb | added various little lemmas | file | diff | annotate |
| Fri, 29 Jan 1999 16:26:12 +0100 | paulson | expandshort | file | diff | annotate |
| Fri, 23 Oct 1998 20:44:34 +0200 | oheimb | corrected auto_tac (applications of unsafe wrappers) | file | diff | annotate |
| Mon, 21 Sep 1998 23:17:28 +0200 | oheimb | improved addbefore and addSbefore | file | diff | annotate |
| Thu, 10 Sep 1998 17:27:50 +0200 | paulson | tidied, fixing PROOF FAILED | file | diff | annotate |
| Mon, 17 Aug 1998 11:00:57 +0200 | nipkow | Direct translation RegExp -> NA! | file | diff | annotate |