doc-src/IsarAdvanced/Classes/Thy/code_examples/Classes.hs
Tue, 18 Mar 2008 20:34:26 +0100 wenzelm updated generated files;
Thu, 20 Dec 2007 21:09:38 +0100 wenzelm updated;
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
Tue, 24 Jul 2007 15:21:54 +0200 haftmann updated
Thu, 26 Apr 2007 15:41:49 +0200 wenzelm updated;
Wed, 14 Feb 2007 10:06:13 +0100 haftmann continued class tutorial
less more (0) tip