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