| 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 |
| Fri, 26 Jan 2001 15:50:28 +0100 | nipkow | *** empty log message *** | file | diff | annotate |