doc-src/IsarAdvanced/Codegen/Thy/Adaption.thy
changeset 28213 b52f9205a02d
child 28419 f65e8b318581
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/Thy/Adaption.thy	Sun Sep 14 21:50:35 2008 +0200
     1.3 @@ -0,0 +1,9 @@
     1.4 +theory Adaption
     1.5 +imports Setup
     1.6 +begin
     1.7 +
     1.8 +section {* Adaption to target languages *}
     1.9 +
    1.10 +subsection {* \ldots *}
    1.11 +
    1.12 +end