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 ***
less more (0) -10 -3 tip