doc-src/IsarAdvanced/Classes/Thy/Classes.thy
Sun, 06 May 2007 21:50:17 +0200 haftmann changed code generator invocation syntax
Fri, 30 Mar 2007 16:18:59 +0200 haftmann updated
Tue, 20 Mar 2007 10:23:31 +0100 haftmann updated code generation sections
Tue, 20 Mar 2007 08:27:15 +0100 haftmann explizit "type" superclass
Fri, 23 Feb 2007 08:39:20 +0100 haftmann continued
Wed, 14 Feb 2007 10:06:13 +0100 haftmann continued class tutorial
Tue, 10 Oct 2006 11:38:43 +0200 haftmann initial draft
less more (0) tip