| 2004-07-08 |
wenzelm |
adapted type of simprocs;
|
file |
diff |
annotate
|
| 2003-04-30 |
ballarin |
Simplifier: congruence rule update.
|
file |
diff |
annotate
|
| 2002-11-04 |
berghofe |
Removed obsolete section about reordering assumptions.
|
file |
diff |
annotate
|
| 2002-10-01 |
berghofe |
Adapted to new simplifier.
|
file |
diff |
annotate
|
| 2002-08-07 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2002-08-07 |
wenzelm |
Simplifier.simproc(_i);
|
file |
diff |
annotate
|
| 2002-01-12 |
wenzelm |
renamed forall_elim_vars_safe to gen_all;
|
file |
diff |
annotate
|
| 2002-01-11 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2001-02-23 |
oheimb |
renamed addaltern to addafter, addSaltern to addSafter
|
file |
diff |
annotate
|
| 2001-02-20 |
oheimb |
debugging: replaced gen_all by forall_elim_vars_safe
|
file |
diff |
annotate
|
| 2000-08-28 |
wenzelm |
updated cong stuff;
|
file |
diff |
annotate
|
| 2000-08-28 |
wenzelm |
proper setup of iman.sty/extra.sty/ttbox.sty;
|
file |
diff |
annotate
|
| 2000-07-25 |
berghofe |
Corrected example which still used old primrec syntax.
|
file |
diff |
annotate
|
| 2000-07-21 |
oheimb |
removed safe_asm_full_simp_tac, added generic_simp_tac
|
file |
diff |
annotate
|
| 2000-01-18 |
paulson |
fixed many bad line & page breaks
|
file |
diff |
annotate
|
| 1999-10-31 |
wenzelm |
updated;
Isabelle99
|
file |
diff |
annotate
|
| 1999-10-22 |
wenzelm |
new flag debug_simp
|
file |
diff |
annotate
|
| 1999-09-28 |
nipkow |
documented type solver
|
file |
diff |
annotate
|
| 1999-05-03 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 1998-10-29 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 1998-09-25 |
oheimb |
improved indentation
|
file |
diff |
annotate
|
| 1998-09-25 |
wenzelm |
rearranged SIMPSET(');
|
file |
diff |
annotate
|
| 1998-09-24 |
oheimb |
improved description of looper and splitter
|
file |
diff |
annotate
|
| 1998-08-24 |
wenzelm |
emacs local vars;
|
file |
diff |
annotate
|
| 1998-07-28 |
paulson |
Changed "goal" to "Goal"
|
file |
diff |
annotate
|
| 1998-05-20 |
nipkow |
Small mods.
|
file |
diff |
annotate
|
| 1998-05-04 |
nipkow |
New behaviour of asm_full_simp_tac.
|
file |
diff |
annotate
|
| 1998-04-04 |
wenzelm |
no open Simplifier;
|
file |
diff |
annotate
|
| 1998-02-27 |
oheimb |
added minimal description of rep_ss
|
file |
diff |
annotate
|
| 1998-02-05 |
paulson |
Fixed a lot of overfull and underfull lines (hboxes)
|
file |
diff |
annotate
|
| 1998-01-12 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 1998-01-12 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 1997-12-12 |
wenzelm |
major update;
|
file |
diff |
annotate
|
| 1997-11-27 |
wenzelm |
several minor updates;
|
file |
diff |
annotate
|
| 1997-11-20 |
paulson |
Updated the NatSum example
|
file |
diff |
annotate
|
| 1997-10-20 |
nipkow |
\label{simp-chap} -> chap:simplification
|
file |
diff |
annotate
|
| 1997-07-02 |
paulson |
Now there are TWO spaces after each full stop, so that the Emacs sentence
|
file |
diff |
annotate
|
| 1997-05-07 |
wenzelm |
fixed braces;
|
file |
diff |
annotate
|
| 1997-05-07 |
paulson |
New acknowledgements; fixed overfull lines and tables
|
file |
diff |
annotate
|
| 1997-05-06 |
wenzelm |
fixed simplifier examples;
|
file |
diff |
annotate
|
| 1997-05-06 |
wenzelm |
misc updates, tuning, cleanup;
|
file |
diff |
annotate
|
| 1997-04-30 |
paulson |
Indexing for trace_simp
|
file |
diff |
annotate
|
| 1997-02-15 |
oheimb |
corrected minor mistakes
|
file |
diff |
annotate
|
| 1997-02-15 |
oheimb |
description of del(eq)congs, safe and unsafe solver
|
file |
diff |
annotate
|
| 1997-02-14 |
paulson |
Updated documentation of IFOL_ss
|
file |
diff |
annotate
|
| 1997-01-31 |
oheimb |
added addloop (and also documentation of addsolver
|
file |
diff |
annotate
|
| 1997-01-07 |
paulson |
Updated account of implicit simpsets and clasets
|
file |
diff |
annotate
|
| 1996-09-24 |
paulson |
Restoration of reference to Nipkow, LICS, 1993
|
file |
diff |
annotate
|
| 1996-07-15 |
nipkow |
Documented simplification tactics which make use of the implicit simpset.
|
file |
diff |
annotate
|
| 1995-12-07 |
clasohm |
removed quotes from syntax and consts sections
|
file |
diff |
annotate
|
| 1995-07-28 |
nipkow |
added section on "Reordering assumptions".
|
file |
diff |
annotate
|
| 1995-05-03 |
lcp |
trivial rewording
|
file |
diff |
annotate
|
| 1994-11-18 |
nipkow |
Updated description of valid lhss.
|
file |
diff |
annotate
|
| 1994-11-09 |
lcp |
updated discussion of congruence rules in first section
|
file |
diff |
annotate
|
| 1994-04-22 |
lcp |
final Springer copy
|
file |
diff |
annotate
|
| 1994-04-15 |
lcp |
penultimate Springer draft
|
file |
diff |
annotate
|
| 1994-03-21 |
lcp |
first draft of Springer book
|
file |
diff |
annotate
|
| 1993-11-19 |
lcp |
Reformatting of SIMPLIFIER figure
|
file |
diff |
annotate
|
| 1993-11-16 |
clasohm |
replaced \un by \union in "Simplification sets"
|
file |
diff |
annotate
|
| 1993-11-10 |
lcp |
Initial revision
|
file |
diff |
annotate
|