Thu, 30 Mar 2000 14:21:28 +0200 |
wenzelm |
?this: support params;
|
file |
diff |
annotate
|
Thu, 10 Feb 2000 13:34:38 +0100 |
wenzelm |
add_judgment;
|
file |
diff |
annotate
|
Fri, 01 Oct 1999 20:37:38 +0200 |
wenzelm |
added atomic_thesis;
|
file |
diff |
annotate
|
Sat, 25 Sep 1999 13:07:48 +0200 |
wenzelm |
admit unbinding;
|
file |
diff |
annotate
|
Sat, 04 Sep 1999 21:05:01 +0200 |
wenzelm |
removed Syntax.binding;
|
file |
diff |
annotate
|
Fri, 03 Sep 1999 14:52:19 +0200 |
wenzelm |
"this";
|
file |
diff |
annotate
|
Tue, 24 Aug 1999 11:50:17 +0200 |
wenzelm |
??thesis: include params;
|
file |
diff |
annotate
|
Mon, 19 Jul 1999 21:26:33 +0200 |
wenzelm |
facts: no statement_binds;
|
file |
diff |
annotate
|
Mon, 07 Jun 1999 22:16:56 +0200 |
wenzelm |
facts: bind named props (from proof.ML/let_thms);
|
file |
diff |
annotate
|
Sat, 05 Jun 1999 20:27:53 +0200 |
wenzelm |
renamed object_logic.ML to Isar/auto_bind.ML and tuned this module;
|
file |
diff |
annotate
|