Wed, 18 Nov 1998 10:59:44 +0100 |
wenzelm |
'prop', 'term', 'typ';
|
changeset |
files
|
Wed, 18 Nov 1998 10:59:20 +0100 |
wenzelm |
load;
|
changeset |
files
|
Wed, 18 Nov 1998 10:56:53 +0100 |
wenzelm |
export exn_message;
|
changeset |
files
|
Wed, 18 Nov 1998 10:56:38 +0100 |
wenzelm |
removed trace;
|
changeset |
files
|
Tue, 17 Nov 1998 14:26:32 +0100 |
wenzelm |
BREAK: include state;
|
changeset |
files
|
Tue, 17 Nov 1998 14:25:40 +0100 |
wenzelm |
have_tthms;
|
changeset |
files
|
Tue, 17 Nov 1998 14:25:02 +0100 |
wenzelm |
PureThy.default_name;
|
changeset |
files
|
Tue, 17 Nov 1998 14:24:15 +0100 |
wenzelm |
generalized (opt_)thm_name;
|
changeset |
files
|
Tue, 17 Nov 1998 14:23:13 +0100 |
wenzelm |
exception METHOD_FAIL;
|
changeset |
files
|
Tue, 17 Nov 1998 14:14:38 +0100 |
wenzelm |
added have_theorems, have_lemmas, have_facts;
|
changeset |
files
|
Tue, 17 Nov 1998 14:13:32 +0100 |
wenzelm |
added 'theorems', 'lemmas', 'note';
|
changeset |
files
|
Tue, 17 Nov 1998 14:12:13 +0100 |
wenzelm |
break: exhibit state;
|
changeset |
files
|
Tue, 17 Nov 1998 14:11:38 +0100 |
wenzelm |
exception ATTRIB_FAIL;
|
changeset |
files
|
Tue, 17 Nov 1998 14:10:40 +0100 |
wenzelm |
removed trace;
|
changeset |
files
|
Tue, 17 Nov 1998 14:09:29 +0100 |
wenzelm |
Symbol.space;
|
changeset |
files
|
Tue, 17 Nov 1998 14:09:00 +0100 |
wenzelm |
space;
|
changeset |
files
|
Tue, 17 Nov 1998 14:08:46 +0100 |
wenzelm |
val spc: int -> T;
|
changeset |
files
|
Tue, 17 Nov 1998 14:08:12 +0100 |
wenzelm |
added default_name;
|
changeset |
files
|
Tue, 17 Nov 1998 14:07:25 +0100 |
wenzelm |
Drule.rev_triv_goal;
|
changeset |
files
|
Tue, 17 Nov 1998 14:07:04 +0100 |
wenzelm |
Theory.apply replaced by Library.apply;
|
changeset |
files
|
Tue, 17 Nov 1998 14:06:32 +0100 |
wenzelm |
val apply: ('a -> 'a) list -> 'a -> 'a;
|
changeset |
files
|
Tue, 17 Nov 1998 14:05:47 +0100 |
wenzelm |
export vars_of and friends;
|
changeset |
files
|
Tue, 17 Nov 1998 14:04:52 +0100 |
wenzelm |
Pretty.spc;
|
changeset |
files
|
Tue, 17 Nov 1998 14:04:32 +0100 |
wenzelm |
added pretty_tthms, print_tthms;
|
changeset |
files
|
Tue, 17 Nov 1998 10:29:28 +0100 |
paulson |
new theory UNITY/PPROD
|
changeset |
files
|
Mon, 16 Nov 1998 13:58:56 +0100 |
paulson |
new theory PPROD
|
changeset |
files
|
Mon, 16 Nov 1998 13:58:48 +0100 |
paulson |
a faster proof
|
changeset |
files
|
Mon, 16 Nov 1998 13:54:35 +0100 |
wenzelm |
removed genelim.ML;
|
changeset |
files
|
Mon, 16 Nov 1998 11:33:42 +0100 |
wenzelm |
thm, thms;
|
changeset |
files
|
Mon, 16 Nov 1998 11:33:14 +0100 |
wenzelm |
added print_thm;
|
changeset |
files
|