| Fri, 21 Nov 1997 15:40:56 +0100 | wenzelm | SYNC; | file | diff | annotate |
| Mon, 20 Oct 1997 11:53:42 +0200 | nipkow | \label{simp-chap} -> chap:simplification | file | diff | annotate |
| Wed, 01 Oct 1997 11:30:55 +0200 | paulson | Auto update | file | diff | annotate |
| Thu, 11 Sep 1997 12:21:34 +0200 | paulson | auto update | file | diff | annotate |
| Wed, 23 Jul 1997 11:49:20 +0200 | paulson | auto update | file | diff | annotate |
| Thu, 17 Jul 1997 15:03:38 +0200 | wenzelm | fixed EqI meta rule; | file | diff | annotate |
| Fri, 04 Jul 1997 12:36:00 +0200 | paulson | Automatic update | file | diff | annotate |
| Tue, 20 May 1997 10:48:08 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Tue, 20 May 1997 10:39:23 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Thu, 15 May 1997 14:59:46 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Wed, 07 May 1997 16:38:33 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Tue, 06 May 1997 13:43:54 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Tue, 06 May 1997 12:50:16 +0200 | wenzelm | misc updates, tuning, cleanup; | file | diff | annotate |
| Wed, 30 Apr 1997 16:33:43 +0200 | paulson | Indexing for trace_simp | file | diff | annotate |
| Thu, 20 Feb 1997 16:09:41 +0100 | wenzelm | added index info; | file | diff | annotate |