| Tue, 29 Aug 2000 15:13:10 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 22 Aug 2000 11:24:24 +0200 | paulson | removed most "makeatother", no longer needed | file | diff | annotate |
| Thu, 06 Jul 2000 09:46:56 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 13 Oct 1999 15:41:24 +0200 | berghofe | Eliminated mutual_induct_tac. | file | diff | annotate |
| Thu, 23 Sep 1999 14:39:39 +0200 | nipkow | sep1 -> sep | file | diff | annotate |
| Tue, 21 Sep 1999 19:10:39 +0200 | nipkow | ? | file | diff | annotate |
| Fri, 21 May 1999 12:11:13 +0200 | nipkow | qed indexed. | file | diff | annotate |
| Mon, 10 May 1999 17:43:55 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Thu, 06 May 1999 11:48:09 +0200 | nipkow | Refs. | file | diff | annotate |
| Tue, 04 May 1999 16:49:24 +0200 | nipkow | Arithmetic. | file | diff | annotate |
| Wed, 20 Jan 1999 18:07:34 +0100 | wenzelm | isabelle.in.tum.de; | file | diff | annotate |
| Tue, 12 Jan 1999 15:48:59 +0100 | nipkow | verbatim | file | diff | annotate |
| Thu, 12 Nov 1998 16:45:17 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 26 Aug 1998 16:57:49 +0200 | nipkow | The HOL tutorial. | file | diff | annotate |