| Thu, 09 Feb 2012 19:34:23 +0100 | wenzelm | basic setup for equational reasoning; | file | diff | annotate |
| Sun, 29 Jan 2012 22:12:25 +0100 | wenzelm | updated hint about asm_rl; | file | diff | annotate |
| Sun, 29 Jan 2012 22:00:10 +0100 | wenzelm | updated thin_tac; | file | diff | annotate |
| Sun, 29 Jan 2012 21:40:29 +0100 | wenzelm | updated distinct_subgoals_tac, flexflex_tac; | file | diff | annotate |
| Sun, 29 Jan 2012 21:26:09 +0100 | wenzelm | removed obscure material; | file | diff | annotate |
| Sun, 29 Jan 2012 21:04:39 +0100 | wenzelm | updated rotate_tac; | file | diff | annotate |
| Fri, 27 Jan 2012 21:29:37 +0100 | wenzelm | updated subgoal_tac; | file | diff | annotate |
| Wed, 25 Jan 2012 16:16:20 +0100 | wenzelm | removed obscure/outdated material; | 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 |
| Mon, 10 Oct 2005 14:43:45 +0200 | wenzelm | updated print_tac; | file | diff | annotate |
| Fri, 27 Oct 2000 15:53:47 +0200 | oheimb | added instantiate_tac | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Wed, 09 Aug 2000 21:14:07 +0200 | wenzelm | fixed spelling; | file | diff | annotate |
| Fri, 04 Aug 2000 22:53:44 +0200 | wenzelm | subgoals_tac: fixed spelling; | file | diff | annotate |
| Tue, 18 Jan 2000 11:33:31 +0100 | paulson | fixed many bad line & page breaks | file | diff | annotate |
| Mon, 06 Sep 1999 18:18:09 +0200 | oheimb | added ftac, eatac, datac, fatac | file | diff | annotate |
| Mon, 10 May 1999 15:16:49 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Mon, 24 Aug 1998 19:12:13 +0200 | wenzelm | emacs local vars; | file | diff | annotate |
| Sat, 07 Feb 1998 14:37:48 +0100 | paulson | Added reference to rotate_prems | file | diff | annotate |
| Thu, 05 Feb 1998 10:26:59 +0100 | paulson | Fixed a lot of overfull and underfull lines (hboxes) | file | diff | annotate |
| Thu, 27 Nov 1997 19:39:02 +0100 | wenzelm | several minor updates; | file | diff | annotate |
| Fri, 21 Nov 1997 15:41:27 +0100 | wenzelm | changed Pure/Sequence interface; | file | diff | annotate |
| Mon, 20 Oct 1997 11:53:42 +0200 | nipkow | \label{simp-chap} -> chap:simplification | file | diff | annotate |
| Wed, 23 Jul 1997 11:48:59 +0200 | paulson | Removal of tactical STATE | file | diff | annotate |
| Thu, 05 Jun 1997 13:19:27 +0200 | paulson | Documented the new distinct_subgoals_tac | file | diff | annotate |
| Tue, 06 May 1997 12:50:16 +0200 | wenzelm | misc updates, tuning, cleanup; | file | diff | annotate |
| Fri, 14 Feb 1997 10:35:23 +0100 | paulson | Documented thin_tac | file | diff | annotate |
| Thu, 26 Sep 1996 17:14:02 +0200 | paulson | Documented defer_tac and moved back the obsolete tactics like fold_tac | file | diff | annotate |
| Fri, 28 Jul 1995 18:05:50 +0200 | nipkow | added rotate_tac | file | diff | annotate |
| Mon, 11 Jul 1994 17:38:10 +0200 | lcp | documented subgoals_tac | file | diff | annotate |
| Fri, 22 Apr 1994 18:18:37 +0200 | lcp | final Springer copy | file | diff | annotate |
| Fri, 15 Apr 1994 17:16:23 +0200 | lcp | penultimate Springer draft | file | diff | annotate |
| Mon, 21 Mar 1994 11:02:57 +0100 | lcp | first draft of Springer book | file | diff | annotate |
| Wed, 10 Nov 1993 05:00:57 +0100 | lcp | Initial revision | file | diff | annotate |