1 theory Adaption
2 imports Setup
3 begin
4
5 section {* Adaption to target languages *}
6
7 subsection {* \ldots *}
8
9 end