doc-src/IsarAdvanced/Classes/Thy/Classes.thy
Fri, 26 Oct 2007 15:42:23 +0200 haftmann adjusted
Fri, 12 Oct 2007 08:20:43 +0200 haftmann added subclass command
Tue, 18 Sep 2007 10:44:02 +0200 haftmann updated
Mon, 20 Aug 2007 18:07:49 +0200 haftmann renamed code_gen to export_code
Tue, 24 Jul 2007 15:21:54 +0200 haftmann updated
Sun, 06 May 2007 21:50:17 +0200 haftmann changed code generator invocation syntax
Fri, 30 Mar 2007 16:18:59 +0200 haftmann updated
less more (0) -10 -7 tip