doc-src/Ref/classical.tex
Wed, 23 Feb 2000 10:41:37 +0100 paulson new reference korf85
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
Wed, 05 May 1999 16:44:42 +0200 paulson Now uses manual.bib; some references updated
Wed, 03 Feb 1999 13:23:24 +0100 paulson standard spelling: type-checking
Fri, 25 Sep 1998 16:21:56 +0200 oheimb minor corrections
Fri, 25 Sep 1998 15:57:23 +0200 oheimb exchanged automatic-tactics and semi-automatic-tactics
Thu, 24 Sep 1998 16:53:14 +0200 oheimb introduced addSE2, addSD2, addE2, and addD2
Mon, 24 Aug 1998 19:12:13 +0200 wenzelm emacs local vars;
Fri, 01 May 1998 22:40:20 +0200 oheimb minor corrections
Fri, 01 May 1998 19:51:03 +0200 oheimb corrected and updated description of wrapper mechanism (including addss)
Fri, 27 Feb 1998 11:21:28 +0100 oheimb added minimal description of rep_cs: corrections
Fri, 27 Feb 1998 11:18:29 +0100 oheimb added minimal description of rep_cs
Wed, 25 Feb 1998 15:45:32 +0100 oheimb changed wrapper mechanism of classical reasoner
Thu, 05 Feb 1998 10:26:59 +0100 paulson Fixed a lot of overfull and underfull lines (hboxes)
Mon, 12 Jan 1998 17:49:12 +0100 wenzelm updated to Isabelle98;
Fri, 02 Jan 1998 11:59:06 +0100 paulson Auto_tac now has type tactic, not unit->tactic
Fri, 12 Dec 1997 17:23:01 +0100 wenzelm tuned;
Thu, 27 Nov 1997 19:39:02 +0100 wenzelm several minor updates;
Mon, 29 Sep 1997 11:31:13 +0200 paulson Safe_tac, Safe_step_tac, and minor corrections including \tt -> \texttt
Thu, 25 Sep 1997 13:25:50 +0200 paulson Clarify_tac and some textual improvements
Wed, 02 Jul 1997 16:46:36 +0200 paulson Now there are TWO spaces after each full stop, so that the Emacs sentence
Mon, 19 May 1997 15:22:41 +0200 paulson Documented auto_tac
Tue, 06 May 1997 12:50:16 +0200 wenzelm misc updates, tuning, cleanup;
Wed, 30 Apr 1997 16:36:59 +0200 paulson Documented blast_tac
Sat, 15 Feb 1997 17:35:53 +0100 oheimb corrected minor mistakes
Sat, 15 Feb 1997 17:02:19 +0100 oheimb description of safe vs. unsafe wrapper and the functions involved
Tue, 07 Jan 1997 10:17:07 +0100 paulson Updated account of implicit simpsets and clasets
Tue, 16 Jul 1996 16:07:32 +0200 berghofe Added section about current claset.
Wed, 03 May 1995 15:33:40 +0200 lcp Covers wrapper tacticals: setwrapper, ..., addss
Tue, 24 Jan 1995 03:03:19 +0100 lcp documented slow_tac, slow_best_tac, depth_tac, deepen_tac
Fri, 22 Apr 1994 18:18:37 +0200 lcp final Springer copy
Fri, 15 Apr 1994 16:29:48 +0200 lcp penultimate Springer draft
Mon, 04 Apr 1994 17:20:15 +0200 lcp modifications towards final draft
Mon, 21 Mar 1994 11:02:57 +0100 lcp first draft of Springer book
Wed, 10 Nov 1993 05:00:57 +0100 lcp Initial revision
less more (0) tip