| Thu, 29 Oct 1998 15:05:42 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 25 Sep 1998 15:54:29 +0200 | oheimb | improved indentation | file | diff | annotate |
| Fri, 25 Sep 1998 15:21:07 +0200 | wenzelm | rearranged SIMPSET('); | file | diff | annotate |
| Thu, 24 Sep 1998 16:53:00 +0200 | oheimb | improved description of looper and splitter | file | diff | annotate |
| Mon, 24 Aug 1998 19:11:13 +0200 | wenzelm | emacs local vars; | file | diff | annotate |
| Tue, 28 Jul 1998 16:33:43 +0200 | paulson | Changed "goal" to "Goal" | file | diff | annotate |
| Wed, 20 May 1998 15:20:28 +0200 | nipkow | Small mods. | file | diff | annotate |
| Mon, 04 May 1998 09:17:18 +0200 | nipkow | New behaviour of asm_full_simp_tac. | file | diff | annotate |
| Sat, 04 Apr 1998 14:30:19 +0200 | wenzelm | no open Simplifier; | file | diff | annotate |
| Fri, 27 Feb 1998 11:18:16 +0100 | oheimb | added minimal description of rep_ss | file | diff | annotate |
| Thu, 05 Feb 1998 10:26:59 +0100 | paulson | Fixed a lot of overfull and underfull lines (hboxes) | file | diff | annotate |
| Mon, 12 Jan 1998 17:48:55 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 12 Jan 1998 17:26:00 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 12 Dec 1997 17:11:05 +0100 | wenzelm | major update; | file | diff | annotate |
| Thu, 27 Nov 1997 19:39:02 +0100 | wenzelm | several minor updates; | file | diff | annotate |
| Thu, 20 Nov 1997 11:54:31 +0100 | paulson | Updated the NatSum example | file | diff | annotate |
| Mon, 20 Oct 1997 11:53:42 +0200 | nipkow | \label{simp-chap} -> chap:simplification | file | diff | annotate |
| Wed, 02 Jul 1997 16:46:36 +0200 | paulson | Now there are TWO spaces after each full stop, so that the Emacs sentence | file | diff | annotate |
| Wed, 07 May 1997 17:21:04 +0200 | wenzelm | fixed braces; | file | diff | annotate |
| Wed, 07 May 1997 16:29:06 +0200 | paulson | New acknowledgements; fixed overfull lines and tables | file | diff | annotate |
| Tue, 06 May 1997 13:42:28 +0200 | wenzelm | fixed simplifier examples; | 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 |
| Sat, 15 Feb 1997 17:35:53 +0100 | oheimb | corrected minor mistakes | file | diff | annotate |
| Sat, 15 Feb 1997 16:10:00 +0100 | oheimb | description of del(eq)congs, safe and unsafe solver | file | diff | annotate |
| Fri, 14 Feb 1997 10:35:42 +0100 | paulson | Updated documentation of IFOL_ss | file | diff | annotate |
| Fri, 31 Jan 1997 15:54:00 +0100 | oheimb | added addloop (and also documentation of addsolver | file | diff | annotate |
| Tue, 07 Jan 1997 10:17:07 +0100 | paulson | Updated account of implicit simpsets and clasets | file | diff | annotate |
| Tue, 24 Sep 1996 13:51:10 +0200 | paulson | Restoration of reference to Nipkow, LICS, 1993 | file | diff | annotate |
| Mon, 15 Jul 1996 12:36:56 +0200 | nipkow | Documented simplification tactics which make use of the implicit simpset. | file | diff | annotate |