doc-src/Ref/simplifier.tex
Fri, 25 Sep 1998 15:54:29 +0200 oheimb improved indentation
Fri, 25 Sep 1998 15:21:07 +0200 wenzelm rearranged SIMPSET(');
Thu, 24 Sep 1998 16:53:00 +0200 oheimb improved description of looper and splitter
Mon, 24 Aug 1998 19:11:13 +0200 wenzelm emacs local vars;
Tue, 28 Jul 1998 16:33:43 +0200 paulson Changed "goal" to "Goal"
Wed, 20 May 1998 15:20:28 +0200 nipkow Small mods.
Mon, 04 May 1998 09:17:18 +0200 nipkow New behaviour of asm_full_simp_tac.
Sat, 04 Apr 1998 14:30:19 +0200 wenzelm no open Simplifier;
Fri, 27 Feb 1998 11:18:16 +0100 oheimb added minimal description of rep_ss
Thu, 05 Feb 1998 10:26:59 +0100 paulson Fixed a lot of overfull and underfull lines (hboxes)
Mon, 12 Jan 1998 17:48:55 +0100 wenzelm tuned;
Mon, 12 Jan 1998 17:26:00 +0100 wenzelm tuned;
Fri, 12 Dec 1997 17:11:05 +0100 wenzelm major update;
Thu, 27 Nov 1997 19:39:02 +0100 wenzelm several minor updates;
Thu, 20 Nov 1997 11:54:31 +0100 paulson Updated the NatSum example
Mon, 20 Oct 1997 11:53:42 +0200 nipkow \label{simp-chap} -> chap:simplification
Wed, 02 Jul 1997 16:46:36 +0200 paulson Now there are TWO spaces after each full stop, so that the Emacs sentence
Wed, 07 May 1997 17:21:04 +0200 wenzelm fixed braces;
Wed, 07 May 1997 16:29:06 +0200 paulson New acknowledgements; fixed overfull lines and tables
Tue, 06 May 1997 13:42:28 +0200 wenzelm fixed simplifier examples;
Tue, 06 May 1997 12:50:16 +0200 wenzelm misc updates, tuning, cleanup;
Wed, 30 Apr 1997 16:33:43 +0200 paulson Indexing for trace_simp
Sat, 15 Feb 1997 17:35:53 +0100 oheimb corrected minor mistakes
Sat, 15 Feb 1997 16:10:00 +0100 oheimb description of del(eq)congs, safe and unsafe solver
Fri, 14 Feb 1997 10:35:42 +0100 paulson Updated documentation of IFOL_ss
Fri, 31 Jan 1997 15:54:00 +0100 oheimb added addloop (and also documentation of addsolver
Tue, 07 Jan 1997 10:17:07 +0100 paulson Updated account of implicit simpsets and clasets
Tue, 24 Sep 1996 13:51:10 +0200 paulson Restoration of reference to Nipkow, LICS, 1993
Mon, 15 Jul 1996 12:36:56 +0200 nipkow Documented simplification tactics which make use of the implicit simpset.
Thu, 07 Dec 1995 14:24:32 +0100 clasohm removed quotes from syntax and consts sections
Fri, 28 Jul 1995 19:17:03 +0200 nipkow added section on "Reordering assumptions".
Wed, 03 May 1995 16:30:39 +0200 lcp trivial rewording
Fri, 18 Nov 1994 13:04:51 +0100 nipkow Updated description of valid lhss.
Wed, 09 Nov 1994 15:47:11 +0100 lcp updated discussion of congruence rules in first section
Fri, 22 Apr 1994 18:18:37 +0200 lcp final Springer copy
Fri, 15 Apr 1994 17:16:23 +0200 lcp penultimate Springer draft
Mon, 21 Mar 1994 11:02:57 +0100 lcp first draft of Springer book
Fri, 19 Nov 1993 12:54:16 +0100 lcp Reformatting of SIMPLIFIER figure
Tue, 16 Nov 1993 14:13:11 +0100 clasohm replaced \un by \union in "Simplification sets"
Wed, 10 Nov 1993 05:00:57 +0100 lcp Initial revision
less more (0) tip