doc-src/IsarAdvanced/Codegen/Thy/document/Program.tex
2008-11-03 haftmann 2008-11-03 improved verbatim mechanism
2008-10-14 haftmann 2008-10-14 continued codegen tutorial
2008-10-10 haftmann 2008-10-10 tuned
2008-10-10 haftmann 2008-10-10 `code func` now just `code`
2008-10-02 haftmann 2008-10-02 added partiality section
2008-10-02 haftmann 2008-10-02 tuned
2008-10-01 haftmann 2008-10-01 fixed