| Thu, 08 Aug 2002 23:42:49 +0200 |
wenzelm |
Tactic.prove, Tactic.prove_standard;
|
file |
diff |
annotate
|
| Tue, 30 May 2000 16:00:55 +0200 |
wenzelm |
proof_timing replaced by global timing;
|
file |
diff |
annotate
|
| Fri, 26 May 2000 11:17:53 +0200 |
paulson |
fixed the documentation of goalw_cterm and prove_goalw_cterm
|
file |
diff |
annotate
|
| Thu, 25 May 2000 15:11:32 +0200 |
paulson |
better indentation
|
file |
diff |
annotate
|
| Tue, 18 Jan 2000 11:33:31 +0100 |
paulson |
fixed many bad line & page breaks
|
file |
diff |
annotate
|
| Sun, 31 Oct 1999 20:11:23 +0100 |
wenzelm |
updated;
Isabelle99
|
file |
diff |
annotate
|
| Fri, 08 Oct 1999 16:16:51 +0200 |
wenzelm |
theorem database now also indexes constants "Trueprop", "all",
|
file |
diff |
annotate
|
| Fri, 24 Sep 1999 12:22:49 +0200 |
wenzelm |
qed "";
|
file |
diff |
annotate
|
| Fri, 03 Sep 1999 13:55:46 +0200 |
wenzelm |
added no_qed;
|
file |
diff |
annotate
|
| Wed, 01 Sep 1999 21:21:01 +0200 |
wenzelm |
added bind_thms, store_thms;
|
file |
diff |
annotate
|
| Mon, 03 May 1999 19:03:35 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 03 Feb 1999 13:23:24 +0100 |
paulson |
standard spelling: type-checking
|
file |
diff |
annotate
|
| Thu, 27 Aug 1998 16:41:11 +0200 |
wenzelm |
Goal, Goalw;
|
file |
diff |
annotate
|
| Mon, 24 Aug 1998 19:12:13 +0200 |
wenzelm |
emacs local vars;
|
file |
diff |
annotate
|
| Tue, 28 Jul 1998 16:33:43 +0200 |
paulson |
Changed "goal" to "Goal"
|
file |
diff |
annotate
|
| Fri, 05 Dec 1997 18:44:56 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 27 Nov 1997 19:39:02 +0100 |
wenzelm |
several minor updates;
|
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
|
| Fri, 14 Feb 1997 10:35:06 +0100 |
paulson |
Strengthened warnings concerning topthm(), etc.
|
file |
diff |
annotate
|
| Mon, 20 Jan 1997 10:18:47 +0100 |
paulson |
Documents the new command "prlim"
|
file |
diff |
annotate
|
| Thu, 24 Oct 1996 11:41:43 +0200 |
paulson |
Documents the use of negative arguments to choplev and prlev
|
file |
diff |
annotate
|
| Tue, 17 Oct 1995 12:09:46 +0100 |
paulson |
Documented store_thm and moved qed to top
|
file |
diff |
annotate
|
| Fri, 18 Aug 1995 16:09:41 +0200 |
paulson |
minor corrections to indexing; added thms_containing
|
file |
diff |
annotate
|
| Thu, 10 Aug 1995 13:15:15 +0200 |
paulson |
minor polishing of text on findI, etc.
|
file |
diff |
annotate
|
| Mon, 07 Aug 1995 16:37:47 +0200 |
nipkow |
Documented findI, findE, findEs, thms_containing.
|
file |
diff |
annotate
|
| Thu, 19 Jan 1995 16:05:21 +0100 |
clasohm |
added documentation of bind_thm, qed, qed_goal, get_thm, thms_of
|
file |
diff |
annotate
|
| Thu, 04 Aug 1994 11:45:59 +0200 |
lcp |
addition of show_brackets
|
file |
diff |
annotate
|
| Fri, 22 Apr 1994 18:18:37 +0200 |
lcp |
final Springer copy
|
file |
diff |
annotate
|
| Fri, 15 Apr 1994 16:47:15 +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
|