doc-src/Ref/goals.tex
Mon, 03 May 1999 19:03:35 +0200 wenzelm tuned;
Wed, 03 Feb 1999 13:23:24 +0100 paulson standard spelling: type-checking
Thu, 27 Aug 1998 16:41:11 +0200 wenzelm Goal, Goalw;
Mon, 24 Aug 1998 19:12:13 +0200 wenzelm emacs local vars;
Tue, 28 Jul 1998 16:33:43 +0200 paulson Changed "goal" to "Goal"
Fri, 05 Dec 1997 18:44:56 +0100 wenzelm tuned;
Thu, 27 Nov 1997 19:39:02 +0100 wenzelm several minor updates;
Wed, 07 May 1997 16:29:06 +0200 paulson New acknowledgements; fixed overfull lines and tables
Tue, 06 May 1997 12:50:16 +0200 wenzelm misc updates, tuning, cleanup;
Fri, 14 Feb 1997 10:35:06 +0100 paulson Strengthened warnings concerning topthm(), etc.
Mon, 20 Jan 1997 10:18:47 +0100 paulson Documents the new command "prlim"
Thu, 24 Oct 1996 11:41:43 +0200 paulson Documents the use of negative arguments to choplev and prlev
Tue, 17 Oct 1995 12:09:46 +0100 paulson Documented store_thm and moved qed to top
Fri, 18 Aug 1995 16:09:41 +0200 paulson minor corrections to indexing; added thms_containing
Thu, 10 Aug 1995 13:15:15 +0200 paulson minor polishing of text on findI, etc.
Mon, 07 Aug 1995 16:37:47 +0200 nipkow Documented findI, findE, findEs, thms_containing.
Thu, 19 Jan 1995 16:05:21 +0100 clasohm added documentation of bind_thm, qed, qed_goal, get_thm, thms_of
Thu, 04 Aug 1994 11:45:59 +0200 lcp addition of show_brackets
Fri, 22 Apr 1994 18:18:37 +0200 lcp final Springer copy
Fri, 15 Apr 1994 16:47:15 +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