| Tue, 26 Jul 2005 18:29:59 +0200 | huffman | brought ML files up to date with new lemmas | file | diff | annotate |
| Fri, 08 Jul 2005 02:42:42 +0200 | huffman | simplified proof of ifte_thms, removed ifte_simp | file | diff | annotate |
| Fri, 01 Apr 2005 23:44:41 +0200 | huffman | convert to new-style theory | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Sat, 03 Nov 2001 01:41:26 +0100 | wenzelm | GPLed; | file | diff | annotate |
| Wed, 03 Oct 2001 20:54:16 +0200 | wenzelm | tuned parentheses in relational expressions; | file | diff | annotate |
| Tue, 09 Jan 2001 15:32:27 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 04 Jul 2000 15:58:11 +0200 | paulson | removed most batch-style proofs | file | diff | annotate |
| Wed, 28 Jun 2000 10:54:21 +0200 | paulson | tidying and unbatchifying | file | diff | annotate |
| Wed, 29 Sep 1999 14:56:49 +0200 | wenzelm | bind_thms; | file | diff | annotate |
| Wed, 15 Jul 1998 10:15:13 +0200 | paulson | Removal of leading "\!\!..." from most Goal commands | file | diff | annotate |
| Mon, 22 Jun 1998 17:13:09 +0200 | wenzelm | isatool fixgoal; | file | diff | annotate |
| Mon, 27 Apr 1998 16:47:50 +0200 | nipkow | Renamed expand_const -> split_const | file | diff | annotate |
| Fri, 20 Feb 1998 17:57:16 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 24 Dec 1997 10:02:30 +0100 | paulson | New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort | file | diff | annotate |
| Tue, 16 Dec 1997 17:58:03 +0100 | wenzelm | expandshort; | file | diff | annotate |
| Mon, 03 Nov 1997 14:06:27 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
| Thu, 24 Apr 1997 18:00:22 +0200 | mueller | Main changes are: | file | diff | annotate |
| Mon, 17 Feb 1997 16:01:16 +0100 | oheimb | reflecting recent changes of the simplifier | file | diff | annotate |
| Mon, 17 Feb 1997 10:57:11 +0100 | slotosch | Changes of HOLCF from Oscar Slotosch: | file | diff | annotate |