src/HOL/ex/Classpackage.thy
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
Tue, 19 Sep 2006 15:22:05 +0200 haftmann code generation 2 adjustments
less more (0) -10 -6 tip