doc-src/IsarAdvanced/Codegen/Thy/Adaption.thy
2008-09-30 haftmann 2008-09-30 re-canibalised manual
2008-09-14 haftmann 2008-09-14 New outline for codegen tutorial -- draft