Tue, 26 Feb 2002 21:46:03 +0100 |
wenzelm |
added smart_have_thmss (global storage);
|
file |
diff |
annotate
|
Wed, 30 Jan 2002 13:59:57 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 23 Jan 2002 16:58:26 +0100 |
wenzelm |
reorganized code for predicate text;
|
file |
diff |
annotate
|
Tue, 22 Jan 2002 21:18:36 +0100 |
wenzelm |
added locale_facts(_i) interface (useful for simple ML proof tools);
|
file |
diff |
annotate
|
Thu, 17 Jan 2002 21:05:40 +0100 |
wenzelm |
ObjectLogic.atomize_term replaces ObjectLogic.atomize_cterm;
|
file |
diff |
annotate
|
Tue, 15 Jan 2002 00:11:30 +0100 |
wenzelm |
print_locale: allow full body specification;
|
file |
diff |
annotate
|
Sat, 12 Jan 2002 22:17:08 +0100 |
wenzelm |
produce predicate text;
|
file |
diff |
annotate
|
Sat, 12 Jan 2002 16:40:02 +0100 |
wenzelm |
unify_frozen: proper use of maxidx';
|
file |
diff |
annotate
|
Fri, 11 Jan 2002 00:29:54 +0100 |
wenzelm |
have_thmss vs. have_thmss_i;
|
file |
diff |
annotate
|
Thu, 10 Jan 2002 21:04:15 +0100 |
wenzelm |
removed add_thmss;
|
file |
diff |
annotate
|
Thu, 10 Jan 2002 16:04:42 +0100 |
wenzelm |
add_thmss_hybrid;
|
file |
diff |
annotate
|
Wed, 09 Jan 2002 13:51:26 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Fri, 21 Dec 2001 15:18:07 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 21 Dec 2001 00:40:16 +0100 |
wenzelm |
fixed inst_thm: proper domain of env;
|
file |
diff |
annotate
|
Wed, 19 Dec 2001 00:26:04 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 18 Dec 2001 02:22:27 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 18 Dec 2001 02:19:31 +0100 |
wenzelm |
simultaneous type-inference of complete context/statement specifications;
|
file |
diff |
annotate
|
Fri, 14 Dec 2001 22:32:52 +0100 |
wenzelm |
removed debug stuff;
|
file |
diff |
annotate
|
Fri, 14 Dec 2001 22:28:52 +0100 |
wenzelm |
proper treatment of internal parameters;
|
file |
diff |
annotate
|
Fri, 14 Dec 2001 11:55:34 +0100 |
wenzelm |
beginning support for type instantiation;
|
file |
diff |
annotate
|
Thu, 29 Nov 2001 01:50:19 +0100 |
wenzelm |
qualify_elem: do not qualify empty names ("");
|
file |
diff |
annotate
|
Wed, 28 Nov 2001 00:42:04 +0100 |
wenzelm |
qualify imported facts;
|
file |
diff |
annotate
|
Sat, 24 Nov 2001 16:59:32 +0100 |
wenzelm |
clarified locale operations (rename, merge);
|
file |
diff |
annotate
|
Fri, 23 Nov 2001 19:20:06 +0100 |
wenzelm |
improved ordering of evaluated elements;
|
file |
diff |
annotate
|
Thu, 22 Nov 2001 23:45:57 +0100 |
wenzelm |
beginnings of actual locale expressions;
|
file |
diff |
annotate
|
Wed, 21 Nov 2001 20:20:18 +0100 |
wenzelm |
locale expressions;
|
file |
diff |
annotate
|
Sun, 11 Nov 2001 21:34:09 +0100 |
wenzelm |
added add_thmss;
|
file |
diff |
annotate
|
Fri, 09 Nov 2001 00:16:07 +0100 |
wenzelm |
proper close_locale;
|
file |
diff |
annotate
|
Tue, 06 Nov 2001 23:54:09 +0100 |
wenzelm |
defines: Thm.def_name, proper check of args;
|
file |
diff |
annotate
|
Tue, 06 Nov 2001 19:27:56 +0100 |
wenzelm |
proper treatment of local syntax;
|
file |
diff |
annotate
|
Tue, 06 Nov 2001 01:18:46 +0100 |
wenzelm |
added add_locale(_i) and store_thm;
|
file |
diff |
annotate
|
Mon, 05 Nov 2001 21:03:08 +0100 |
wenzelm |
fixes: optional typ;
|
file |
diff |
annotate
|
Sun, 04 Nov 2001 20:58:26 +0100 |
wenzelm |
locale elements;
|
file |
diff |
annotate
|
Thu, 01 Nov 2001 21:10:47 +0100 |
wenzelm |
beginnings of new locales (not yet functional);
|
file |
diff |
annotate
|
Mon, 22 Oct 2001 18:07:30 +0200 |
wenzelm |
moved locale.ML to Isar/locale.ML;
|
file |
diff |
annotate
|