| Fri, 21 Nov 1997 15:41:27 +0100 |
changed Pure/Sequence interface;
|
file | diff | annotate |
| Mon, 20 Oct 1997 11:53:42 +0200 |
\label{simp-chap} -> chap:simplification
|
file | diff | annotate |
| Wed, 23 Jul 1997 11:48:59 +0200 |
Removal of tactical STATE
|
file | diff | annotate |
| Thu, 05 Jun 1997 13:19:27 +0200 |
Documented the new distinct_subgoals_tac
|
file | diff | annotate |
| Tue, 06 May 1997 12:50:16 +0200 |
misc updates, tuning, cleanup;
|
file | diff | annotate |
| Fri, 14 Feb 1997 10:35:23 +0100 |
Documented thin_tac
|
file | diff | annotate |
| Thu, 26 Sep 1996 17:14:02 +0200 |
Documented defer_tac and moved back the obsolete tactics like fold_tac
|
file | diff | annotate |
| Fri, 28 Jul 1995 18:05:50 +0200 |
added rotate_tac
|
file | diff | annotate |
| Mon, 11 Jul 1994 17:38:10 +0200 |
documented subgoals_tac
|
file | diff | annotate |
| Fri, 22 Apr 1994 18:18:37 +0200 |
final Springer copy
|
file | diff | annotate |
| Fri, 15 Apr 1994 17:16:23 +0200 |
penultimate Springer draft
|
file | diff | annotate |
| Mon, 21 Mar 1994 11:02:57 +0100 |
first draft of Springer book
|
file | diff | annotate |
| Wed, 10 Nov 1993 05:00:57 +0100 |
Initial revision
|
file | diff | annotate |