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
Fri, 29 Dec 2006 12:11:00 +0100 haftmann simplified class_package
Wed, 27 Dec 2006 19:10:00 +0100 haftmann added OCaml code generation (without dictionaries)
Thu, 07 Dec 2006 21:44:13 +0100 wenzelm begin/end blocks;
Mon, 27 Nov 2006 13:42:30 +0100 haftmann adjusted syntax for internal code generation
Wed, 22 Nov 2006 10:20:20 +0100 haftmann example tuned
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Tue, 31 Oct 2006 14:58:12 +0100 haftmann adapted to new serializer syntax
Fri, 20 Oct 2006 17:07:41 +0200 haftmann added Haskell
less more (0) -15 tip