| 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
|