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 |