| Thu, 09 Aug 2001 18:12:15 +0200 | paulson | revisions and indexing | file | diff | annotate |
| Wed, 08 Aug 2001 14:50:28 +0200 | paulson | Getting it working again with 1' instead of 1 | file | diff | annotate |
| Fri, 03 Aug 2001 18:04:55 +0200 | paulson | numerous stylistic changes and indexing | file | diff | annotate |
| Tue, 17 Jul 2001 13:46:21 +0200 | paulson | tidying the index | file | diff | annotate |
| Fri, 13 Jul 2001 17:56:05 +0200 | paulson | less indexing of theorem names | file | diff | annotate |
| Thu, 12 Jul 2001 16:33:36 +0200 | paulson | indexing | file | diff | annotate |
| Wed, 11 Jul 2001 13:57:01 +0200 | paulson | indexing and tweaks | file | diff | annotate |
| Wed, 16 May 2001 17:58:48 +0200 | paulson | typo | file | diff | annotate |
| Tue, 17 Apr 2001 15:03:41 +0200 | paulson | *** empty log message *** | file | diff | annotate |
| Fri, 30 Mar 2001 13:29:16 +0200 | paulson | quantifier instantiation | file | diff | annotate |
| Thu, 22 Feb 2001 18:13:23 +0100 | paulson | subst method and a new section on rule, rule_tac, etc | file | diff | annotate |
| Tue, 20 Feb 2001 10:37:12 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 16 Feb 2001 18:50:09 +0100 | paulson | Least_def now refers to LeastM | file | diff | annotate |
| Wed, 07 Feb 2001 16:37:24 +0100 | paulson | various revisions in response to comments from Tobias | file | diff | annotate |
| Tue, 06 Feb 2001 18:37:59 +0100 | paulson | snapshot of a new version | file | diff | annotate |