doc-src/IsarAdvanced/Classes/Thy/Classes.thy
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
less more (0) -3 tip