| Tue, 12 Feb 2002 20:28:27 +0100 |
wenzelm |
got rid of explicit marginal comments (now stripped earlier from input);
|
file |
diff |
annotate
|
| Thu, 10 Jan 2002 01:11:43 +0100 |
wenzelm |
simplified IsarThy.theorem_i;
|
file |
diff |
annotate
|
| Fri, 14 Dec 2001 11:50:19 +0100 |
wenzelm |
Term.invent_type_names;
|
file |
diff |
annotate
|
| Wed, 05 Dec 2001 03:06:05 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 28 Nov 2001 00:46:26 +0100 |
wenzelm |
theory data: removed obsolete finish method;
|
file |
diff |
annotate
|
| Fri, 09 Nov 2001 00:19:20 +0100 |
wenzelm |
theory data: finish method;
|
file |
diff |
annotate
|
| Sun, 04 Nov 2001 20:56:59 +0100 |
wenzelm |
IsarThy.theorem_i (None, []);
|
file |
diff |
annotate
|
| Wed, 31 Oct 2001 21:59:07 +0100 |
wenzelm |
IsarThy.theorem_i: no locale;
|
file |
diff |
annotate
|
| Sat, 27 Oct 2001 23:18:40 +0200 |
wenzelm |
removed obsolete goal_subclass, goal_arity;
|
file |
diff |
annotate
|
| Thu, 18 Oct 2001 21:02:26 +0200 |
wenzelm |
sane internal interfaces for instance;
|
file |
diff |
annotate
|
| Sat, 13 Oct 2001 20:31:34 +0200 |
wenzelm |
IsarThy.theorem_i Drule.internalK;
|
file |
diff |
annotate
|
| Fri, 31 Aug 2001 22:45:08 +0200 |
wenzelm |
proper use of invent_names;
|
file |
diff |
annotate
|
| Fri, 31 Aug 2001 18:46:48 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Thu, 31 May 2001 17:57:02 +0200 |
wenzelm |
invent_names
|
file |
diff |
annotate
|
| Mon, 12 Feb 2001 20:45:12 +0100 |
wenzelm |
support \<subseteq> syntax in classes/classrel/axclass/instance;
|
file |
diff |
annotate
|