Tue, 22 Feb 2000 21:51:25 +0100 |
wenzelm |
tuned syntax wrapper;
|
file |
diff |
annotate
|
Fri, 28 Jan 2000 21:55:43 +0100 |
wenzelm |
Drule.instantiate;
|
file |
diff |
annotate
|
Fri, 01 Oct 1999 18:36:12 +0200 |
wenzelm |
added undef_global_attribute, undef_local_attribute;
|
file |
diff |
annotate
|
Thu, 30 Sep 1999 23:31:13 +0200 |
wenzelm |
removed ProofContext.declare_thm;
|
file |
diff |
annotate
|
Sun, 26 Sep 1999 16:39:54 +0200 |
wenzelm |
help: unkown theory context;
|
file |
diff |
annotate
|
Sat, 25 Sep 1999 13:06:59 +0200 |
wenzelm |
unfold / fold defs;
|
file |
diff |
annotate
|
Thu, 26 Aug 1999 19:01:58 +0200 |
wenzelm |
print_help;
|
file |
diff |
annotate
|
Fri, 09 Jul 1999 18:44:58 +0200 |
wenzelm |
COMP: optional position;
|
file |
diff |
annotate
|
Thu, 08 Jul 1999 18:35:11 +0200 |
wenzelm |
'export';
|
file |
diff |
annotate
|
Thu, 01 Jul 1999 21:19:45 +0200 |
wenzelm |
renamed with/APP to of/OF;
|
file |
diff |
annotate
|
Mon, 28 Jun 1999 21:41:02 +0200 |
wenzelm |
cond_extern_table;
|
file |
diff |
annotate
|
Fri, 04 Jun 1999 19:53:57 +0200 |
wenzelm |
added COMP attribute;
|
file |
diff |
annotate
|
Fri, 30 Apr 1999 18:01:11 +0200 |
wenzelm |
theory data: copy;
|
file |
diff |
annotate
|
Fri, 16 Apr 1999 17:48:46 +0200 |
wenzelm |
and_list;
|
file |
diff |
annotate
|
Tue, 12 Jan 1999 13:40:08 +0100 |
wenzelm |
eliminated tthm type and Attribute structure;
|
file |
diff |
annotate
|
Tue, 17 Nov 1998 14:11:38 +0100 |
wenzelm |
exception ATTRIB_FAIL;
|
file |
diff |
annotate
|
Mon, 16 Nov 1998 11:32:54 +0100 |
wenzelm |
made SML/NJ happy;
|
file |
diff |
annotate
|
Mon, 16 Nov 1998 11:03:35 +0100 |
wenzelm |
several args parsers;
|
file |
diff |
annotate
|
Mon, 09 Nov 1998 15:32:20 +0100 |
wenzelm |
Symbolic theorem attributes.
|
file |
diff |
annotate
|