doc-src/IsarAdvanced/Codegen/Thy/Program.thy
Fri, 10 Oct 2008 06:45:53 +0200 haftmann `code func` now just `code`
less more (0) -1 tip