Fri, 25 Jul 2008 12:03:37 +0200 |
haftmann |
subclass now also works for subclasses with empty specificaton
|
file |
diff |
annotate
|
Sun, 18 May 2008 15:04:45 +0200 |
wenzelm |
Syntax.string_of_sort: proper context;
|
file |
diff |
annotate
|
Sat, 15 Mar 2008 08:11:17 +0100 |
haftmann |
explicit re-init
|
file |
diff |
annotate
|
Thu, 13 Dec 2007 07:09:08 +0100 |
haftmann |
simplified
|
file |
diff |
annotate
|
Mon, 05 Nov 2007 20:50:42 +0100 |
wenzelm |
simplified LocalTheory.reinit;
|
file |
diff |
annotate
|
Fri, 02 Nov 2007 18:52:58 +0100 |
haftmann |
proper reinitialisation after subclass
|
file |
diff |
annotate
|
Thu, 25 Oct 2007 19:27:54 +0200 |
haftmann |
moved primitive operations to class.ML
|
file |
diff |
annotate
|
Thu, 25 Oct 2007 13:52:03 +0200 |
haftmann |
propagation through class hierarchy
|
file |
diff |
annotate
|
Wed, 24 Oct 2007 07:19:56 +0200 |
haftmann |
added subclass_rule
|
file |
diff |
annotate
|
Sun, 14 Oct 2007 00:18:09 +0200 |
wenzelm |
removed obsolete Class.class_of_locale/locale_of_class;
|
file |
diff |
annotate
|
Fri, 12 Oct 2007 20:21:57 +0200 |
wenzelm |
more informative TheoryTarget.peek operation;
|
file |
diff |
annotate
|
Fri, 12 Oct 2007 14:42:30 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Tue, 09 Oct 2007 17:10:48 +0200 |
wenzelm |
renamed AxClass.get_definition to AxClass.get_info (again);
|
file |
diff |
annotate
|
Mon, 08 Oct 2007 22:03:21 +0200 |
haftmann |
added proper subclass concept; improved class target
|
file |
diff |
annotate
|