src/HOL/ex/Classpackage.thy
Sun, 06 May 2007 21:50:17 +0200 haftmann changed code generator invocation syntax
Tue, 20 Mar 2007 08:27:15 +0100 haftmann explizit "type" superclass
Fri, 09 Mar 2007 08:45:55 +0100 haftmann *** empty log message ***
Fri, 02 Mar 2007 15:43:15 +0100 haftmann prefix of class interpretation not mandatory any longer
Wed, 14 Feb 2007 10:06:17 +0100 haftmann class package now using Locale.interpretation_i
Thu, 25 Jan 2007 09:32:42 +0100 haftmann adjusted to changes in class package
Tue, 16 Jan 2007 14:10:24 +0100 haftmann cleanup
less more (0) -10 -7 tip