doc-src/IsarAdvanced/Classes/Thy/code_examples/classes.ML
Tue, 18 Mar 2008 20:34:26 +0100 wenzelm updated generated files;
Fri, 12 Oct 2007 08:20:43 +0200 haftmann added subclass command
Tue, 18 Sep 2007 10:44:02 +0200 haftmann updated
Tue, 24 Jul 2007 15:21:54 +0200 haftmann updated
Thu, 26 Apr 2007 15:41:49 +0200 wenzelm updated;
Tue, 20 Mar 2007 10:23:31 +0100 haftmann updated code generation sections
Wed, 14 Feb 2007 10:06:13 +0100 haftmann continued class tutorial
less more (0) tip