doc-src/IsarAdvanced/Codegen/Thy/Adaption.thy
author haftmann
Sun Sep 14 21:50:35 2008 +0200 (2008-09-14)
changeset 28213 b52f9205a02d
child 28419 f65e8b318581
permissions -rw-r--r--
New outline for codegen tutorial -- draft
     1 theory Adaption
     2 imports Setup
     3 begin
     4 
     5 section {* Adaption to target languages *}
     6 
     7 subsection {* \ldots *}
     8 
     9 end