doc-src/Ref/classical.tex
1999-10-31 wenzelm 1999-10-31 updated;
1999-05-05 paulson 1999-05-05 Now uses manual.bib; some references updated
1999-02-03 paulson 1999-02-03 standard spelling: type-checking
1998-09-25 oheimb 1998-09-25 minor corrections
1998-09-25 oheimb 1998-09-25 exchanged automatic-tactics and semi-automatic-tactics added CLASET, CLASET', CLASIMPSET, CLASIMPSET'
1998-09-24 oheimb 1998-09-24 introduced addSE2, addSD2, addE2, and addD2 reflected changes to addbefore, addSbefore described setup of clasimp.ML introduced clarsimp_tac and Clarsimp_tac
1998-08-24 wenzelm 1998-08-24 emacs local vars;
1998-05-01 oheimb 1998-05-01 minor corrections
1998-05-01 oheimb 1998-05-01 corrected and updated description of wrapper mechanism (including addss) added documentation of force_tac
1998-02-27 oheimb 1998-02-27 added minimal description of rep_cs: corrections
1998-02-27 oheimb 1998-02-27 added minimal description of rep_cs
1998-02-25 oheimb 1998-02-25 changed wrapper mechanism of classical reasoner
1998-02-05 paulson 1998-02-05 Fixed a lot of overfull and underfull lines (hboxes)
1998-01-12 wenzelm 1998-01-12 updated to Isabelle98;
1998-01-02 paulson 1998-01-02 Auto_tac now has type tactic, not unit->tactic
1997-12-12 wenzelm 1997-12-12 tuned;
1997-11-27 wenzelm 1997-11-27 several minor updates;
1997-09-29 paulson 1997-09-29 Safe_tac, Safe_step_tac, and minor corrections including \tt -> \texttt
1997-09-25 paulson 1997-09-25 Clarify_tac and some textual improvements
1997-07-02 paulson 1997-07-02 Now there are TWO spaces after each full stop, so that the Emacs sentence primitives work
1997-05-19 paulson 1997-05-19 Documented auto_tac
1997-05-06 wenzelm 1997-05-06 misc updates, tuning, cleanup;
1997-04-30 paulson 1997-04-30 Documented blast_tac
1997-02-15 oheimb 1997-02-15 corrected minor mistakes
1997-02-15 oheimb 1997-02-15 description of safe vs. unsafe wrapper and the functions involved
1997-01-07 paulson 1997-01-07 Updated account of implicit simpsets and clasets
1996-07-16 berghofe 1996-07-16 Added section about current claset.
1995-05-03 lcp 1995-05-03 Covers wrapper tacticals: setwrapper, ..., addss
1995-01-24 lcp 1995-01-24 documented slow_tac, slow_best_tac, depth_tac, deepen_tac
1994-04-22 lcp 1994-04-22 final Springer copy
1994-04-15 lcp 1994-04-15 penultimate Springer draft
1994-04-04 lcp 1994-04-04 modifications towards final draft
1994-03-21 lcp 1994-03-21 first draft of Springer book
1993-11-10 lcp 1993-11-10 Initial revision