Tue, 20 Oct 1998 16:26:20 +0200 |
wenzelm |
Symtab.foldl;
|
file |
diff |
annotate
|
Mon, 17 Aug 1998 20:32:24 +0200 |
wenzelm |
added get_tthmss;
|
file |
diff |
annotate
|
Thu, 06 Aug 1998 18:21:14 +0200 |
wenzelm |
added store_tthm;
|
file |
diff |
annotate
|
Tue, 28 Jul 1998 17:05:34 +0200 |
wenzelm |
removed global_names flag;
|
file |
diff |
annotate
|
Wed, 22 Jul 1998 17:59:49 +0200 |
wenzelm |
moved long_names / cond_extern to name_space.ML;
|
file |
diff |
annotate
|
Mon, 29 Jun 1998 21:33:25 +0200 |
wenzelm |
tuned transaction;
|
file |
diff |
annotate
|
Wed, 17 Jun 1998 10:48:38 +0200 |
nipkow |
Goals may now contain assumptions, which are not returned.
|
file |
diff |
annotate
|
Wed, 10 Jun 1998 17:56:21 +0200 |
wenzelm |
tuned transaction;
|
file |
diff |
annotate
|
Wed, 10 Jun 1998 11:57:40 +0200 |
wenzelm |
moved add_axioms_x, add_defs_x to Isar/isar_thy.ML;
|
file |
diff |
annotate
|
Mon, 08 Jun 1998 15:58:56 +0200 |
wenzelm |
use type-safe theory data interface;
|
file |
diff |
annotate
|
Fri, 05 Jun 1998 14:32:23 +0200 |
wenzelm |
added print_theorems: theory -> unit;
|
file |
diff |
annotate
|
Mon, 25 May 1998 21:24:27 +0200 |
wenzelm |
added get_name, put_name, global_path, local_path, begin_theory,
|
file |
diff |
annotate
|
Fri, 15 May 1998 11:34:49 +0200 |
wenzelm |
added add_axioms_x, add_defs_x;
|
file |
diff |
annotate
|
Wed, 13 May 1998 12:23:28 +0200 |
wenzelm |
added thms_closure: theory -> xstring -> tthm list option;
|
file |
diff |
annotate
|
Wed, 29 Apr 1998 11:29:00 +0200 |
wenzelm |
tuned names of (add_)store_XXX functions;
|
file |
diff |
annotate
|
Sat, 04 Apr 1998 12:26:47 +0200 |
wenzelm |
type_error;
|
file |
diff |
annotate
|
Sat, 04 Apr 1998 11:42:26 +0200 |
wenzelm |
added Goal_def;
|
file |
diff |
annotate
|
Fri, 03 Apr 1998 14:37:48 +0200 |
wenzelm |
added get_tthm(s), store_tthms(s);
|
file |
diff |
annotate
|
Fri, 30 Jan 1998 11:34:06 +0100 |
wenzelm |
tuned msgs;
|
file |
diff |
annotate
|
Mon, 29 Dec 1997 14:31:20 +0100 |
wenzelm |
pretty_name_space;
|
file |
diff |
annotate
|
Sun, 28 Dec 1997 14:56:44 +0100 |
wenzelm |
renamed Symtab.null to Symtab.empty;
|
file |
diff |
annotate
|
Thu, 20 Nov 1997 15:30:37 +0100 |
wenzelm |
improved theorems print method: transfer_sg;
|
file |
diff |
annotate
|
Tue, 04 Nov 1997 16:17:04 +0100 |
wenzelm |
type object = exn (enhance readability);
|
file |
diff |
annotate
|
Mon, 03 Nov 1997 11:46:25 +0100 |
wenzelm |
made SML/97 happy;
|
file |
diff |
annotate
|
Thu, 30 Oct 1997 17:04:54 +0100 |
wenzelm |
tuned thy_data;
|
file |
diff |
annotate
|
Thu, 30 Oct 1997 10:01:46 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 28 Oct 1997 17:36:16 +0100 |
wenzelm |
added ignored_consts, thms_containing, add_store_axioms(_i),
|
file |
diff |
annotate
|
Mon, 27 Oct 1997 16:01:53 +0100 |
wenzelm |
oops;
|
file |
diff |
annotate
|
Mon, 27 Oct 1997 15:57:50 +0100 |
wenzelm |
renamed put_* to store_*;
|
file |
diff |
annotate
|
Fri, 24 Oct 1997 18:02:23 +0200 |
wenzelm |
oops, swap warnings;
|
file |
diff |
annotate
|
Fri, 24 Oct 1997 17:11:23 +0200 |
wenzelm |
Init 'theorems' data. The Pure theories.
|
file |
diff |
annotate
|