| 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 |