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