doc-src/IsarAdvanced/Codegen/Thy/Program.thy
Tue, 14 Oct 2008 16:32:26 +0200 haftmann continued codegen tutorial
Fri, 10 Oct 2008 15:23:33 +0200 haftmann tuned
Fri, 10 Oct 2008 06:45:53 +0200 haftmann `code func` now just `code`
Thu, 02 Oct 2008 17:18:36 +0200 haftmann added partiality section
less more (0) -4 tip