Mon, 19 Nov 2001 23:37:01 +0100 |
wenzelm |
improved treatment of common result name;
|
file |
diff |
annotate
|
Sun, 11 Nov 2001 21:37:44 +0100 |
wenzelm |
adapted to multiple results;
|
file |
diff |
annotate
|
Mon, 05 Nov 2001 20:59:35 +0100 |
wenzelm |
pretty/print functions with context;
|
file |
diff |
annotate
|
Sat, 27 Oct 2001 23:19:55 +0200 |
wenzelm |
added prove;
|
file |
diff |
annotate
|
Mon, 22 Oct 2001 18:03:49 +0200 |
wenzelm |
moved prove_goalw_cterm to goals.ML;
|
file |
diff |
annotate
|
Fri, 12 Oct 2001 12:09:38 +0200 |
wenzelm |
added make_thm (sort-of);
|
file |
diff |
annotate
|
Fri, 05 May 2000 22:09:41 +0200 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
Mon, 20 Mar 2000 18:48:12 +0100 |
wenzelm |
added prove_goalw_cterm;
|
file |
diff |
annotate
|
Mon, 12 Jul 1999 22:28:56 +0200 |
wenzelm |
local qed; print rule;
|
file |
diff |
annotate
|
Thu, 08 Jul 1999 18:36:09 +0200 |
wenzelm |
propp: 'concl' patterns;
|
file |
diff |
annotate
|
Fri, 02 Jul 1999 19:04:32 +0200 |
wenzelm |
skip_proof feature 'sorry' (for quick_and_dirty mode only);
|
file |
diff |
annotate
|