| Wed, 11 Oct 2006 14:51:41 +0200 | haftmann | adapted to signature change | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Fri, 04 Aug 2000 22:54:34 +0200 | wenzelm | added rev_eq_reflection; | file | diff | annotate |
| Tue, 18 Jan 2000 11:33:31 +0100 | paulson | fixed many bad line & page breaks | 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 |
| Thu, 05 Feb 1998 10:26:16 +0100 | paulson | Updated the description of how to set up hyp_subst_tac | file | diff | annotate |
| Fri, 05 Dec 1997 18:44:56 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 20 Oct 1997 11:53:42 +0200 | nipkow | \label{simp-chap} -> chap:simplification | file | diff | annotate |
| Wed, 07 May 1997 16:29:06 +0200 | paulson | New acknowledgements; fixed overfull lines and tables | file | diff | annotate |
| Tue, 06 May 1997 12:50:16 +0200 | wenzelm | misc updates, tuning, cleanup; | file | diff | annotate |
| Thu, 26 Sep 1996 17:13:18 +0200 | paulson | Documented stac, and updated the documentation of hyp_subst_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 |
| Thu, 25 Nov 1993 14:16:40 +0100 | wenzelm | corrected trivial typo; | file | diff | annotate |
| Wed, 10 Nov 1993 05:00:57 +0100 | lcp | Initial revision | file | diff | annotate |