Sun, 27 Nov 2011 12:52:52 +0100 |
wenzelm |
modernized section about congruence rules;
|
file |
diff |
annotate
|
Fri, 03 Jun 2011 22:39:23 +0200 |
wenzelm |
updated and re-unified material on simprocs;
|
file |
diff |
annotate
|
Fri, 20 May 2011 14:03:42 +0200 |
wenzelm |
removed some obsolete text;
|
file |
diff |
annotate
|
Sun, 01 Mar 2009 13:48:17 +0100 |
wenzelm |
removed parts of the manual that are clearly obsolete, or covered by
|
file |
diff |
annotate
|
Sun, 22 May 2005 16:51:07 +0200 |
wenzelm |
Simplifier already setup in Pure;
|
file |
diff |
annotate
|
Thu, 08 Jul 2004 19:34:56 +0200 |
wenzelm |
adapted type of simprocs;
|
file |
diff |
annotate
|
Wed, 30 Apr 2003 18:30:57 +0200 |
ballarin |
Simplifier: congruence rule update.
|
file |
diff |
annotate
|
Mon, 04 Nov 2002 14:17:00 +0100 |
berghofe |
Removed obsolete section about reordering assumptions.
|
file |
diff |
annotate
|
Tue, 01 Oct 2002 14:44:43 +0200 |
berghofe |
Adapted to new simplifier.
|
file |
diff |
annotate
|
Wed, 07 Aug 2002 20:11:07 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 07 Aug 2002 20:03:17 +0200 |
wenzelm |
Simplifier.simproc(_i);
|
file |
diff |
annotate
|
Sat, 12 Jan 2002 16:37:58 +0100 |
wenzelm |
renamed forall_elim_vars_safe to gen_all;
|
file |
diff |
annotate
|
Fri, 11 Jan 2002 14:44:24 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 23 Feb 2001 16:31:21 +0100 |
oheimb |
renamed addaltern to addafter, addSaltern to addSafter
|
file |
diff |
annotate
|
Tue, 20 Feb 2001 18:47:06 +0100 |
oheimb |
debugging: replaced gen_all by forall_elim_vars_safe
|
file |
diff |
annotate
|