Tue, 17 Nov 1998 14:04:32 +0100 |
wenzelm |
added pretty_tthms, print_tthms;
|
file |
diff |
annotate
|
Mon, 16 Nov 1998 10:44:30 +0100 |
wenzelm |
removed lift_modifier;
|
file |
diff |
annotate
|
Mon, 09 Nov 1998 15:38:58 +0100 |
wenzelm |
added lift_modifier, rule;
|
file |
diff |
annotate
|
Fri, 25 Sep 1998 12:03:11 +0200 |
wenzelm |
tuned pretty_tag;
|
file |
diff |
annotate
|
Fri, 24 Jul 1998 14:53:23 +0200 |
wenzelm |
added internal;
|
file |
diff |
annotate
|
Wed, 10 Jun 1998 11:58:11 +0200 |
wenzelm |
moved attributes theory data 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:28:08 +0200 |
wenzelm |
tuned setup;
|
file |
diff |
annotate
|
Wed, 13 May 1998 12:19:01 +0200 |
wenzelm |
gen_attr: fixed order of evaluation;
|
file |
diff |
annotate
|
Wed, 29 Apr 1998 11:24:58 +0200 |
wenzelm |
added none: 'a -> 'a * 'b attribute list;
|
file |
diff |
annotate
|
Sat, 04 Apr 1998 14:27:11 +0200 |
wenzelm |
tuned fail;
|
file |
diff |
annotate
|
Sat, 04 Apr 1998 12:26:47 +0200 |
wenzelm |
type_error;
|
file |
diff |
annotate
|
Sat, 04 Apr 1998 11:43:39 +0200 |
wenzelm |
removed simple;
|
file |
diff |
annotate
|
Fri, 03 Apr 1998 14:35:39 +0200 |
wenzelm |
Theorem tags and attributes.
|
file |
diff |
annotate
|