doc-src/Ref/simplifier.tex
Sun, 22 May 2005 16:51:07 +0200 wenzelm Simplifier already setup in Pure;
Thu, 08 Jul 2004 19:34:56 +0200 wenzelm adapted type of simprocs;
Wed, 30 Apr 2003 18:30:57 +0200 ballarin Simplifier: congruence rule update.
Mon, 04 Nov 2002 14:17:00 +0100 berghofe Removed obsolete section about reordering assumptions.
Tue, 01 Oct 2002 14:44:43 +0200 berghofe Adapted to new simplifier.
Wed, 07 Aug 2002 20:11:07 +0200 wenzelm tuned;
Wed, 07 Aug 2002 20:03:17 +0200 wenzelm Simplifier.simproc(_i);
Sat, 12 Jan 2002 16:37:58 +0100 wenzelm renamed forall_elim_vars_safe to gen_all;
Fri, 11 Jan 2002 14:44:24 +0100 wenzelm tuned;
Fri, 23 Feb 2001 16:31:21 +0100 oheimb renamed addaltern to addafter, addSaltern to addSafter
Tue, 20 Feb 2001 18:47:06 +0100 oheimb debugging: replaced gen_all by forall_elim_vars_safe
Tue, 29 Aug 2000 00:54:22 +0200 wenzelm updated cong stuff;
Mon, 28 Aug 2000 13:52:38 +0200 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
Tue, 25 Jul 2000 18:43:52 +0200 berghofe Corrected example which still used old primrec syntax.
Fri, 21 Jul 2000 17:41:59 +0200 oheimb removed safe_asm_full_simp_tac, added generic_simp_tac
Tue, 18 Jan 2000 11:33:31 +0100 paulson fixed many bad line & page breaks
Sun, 31 Oct 1999 20:11:23 +0100 wenzelm updated; Isabelle99
Fri, 22 Oct 1999 20:24:13 +0200 wenzelm new flag debug_simp
Tue, 28 Sep 1999 14:15:57 +0200 nipkow documented type solver
Mon, 03 May 1999 19:03:35 +0200 wenzelm tuned;
Thu, 29 Oct 1998 15:05:42 +0100 wenzelm tuned;
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"
less more (0) tip