doc-src/Ref/tactic.tex
Mon, 10 May 1999 15:16:49 +0200 wenzelm pdf setup;
Mon, 24 Aug 1998 19:12:13 +0200 wenzelm emacs local vars;
Sat, 07 Feb 1998 14:37:48 +0100 paulson Added reference to rotate_prems
Thu, 05 Feb 1998 10:26:59 +0100 paulson Fixed a lot of overfull and underfull lines (hboxes)
Thu, 27 Nov 1997 19:39:02 +0100 wenzelm several minor updates;
Fri, 21 Nov 1997 15:41:27 +0100 wenzelm changed Pure/Sequence interface;
Mon, 20 Oct 1997 11:53:42 +0200 nipkow \label{simp-chap} -> chap:simplification
Wed, 23 Jul 1997 11:48:59 +0200 paulson Removal of tactical STATE
Thu, 05 Jun 1997 13:19:27 +0200 paulson Documented the new distinct_subgoals_tac
Tue, 06 May 1997 12:50:16 +0200 wenzelm misc updates, tuning, cleanup;
Fri, 14 Feb 1997 10:35:23 +0100 paulson Documented thin_tac
Thu, 26 Sep 1996 17:14:02 +0200 paulson Documented defer_tac and moved back the obsolete tactics like fold_tac
Fri, 28 Jul 1995 18:05:50 +0200 nipkow added rotate_tac
Mon, 11 Jul 1994 17:38:10 +0200 lcp documented subgoals_tac
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
Wed, 10 Nov 1993 05:00:57 +0100 lcp Initial revision
less more (0) tip