1 theory Syntax
2 imports Base
3 begin
4
5 chapter {* Syntax and type-checking *}
6
7 text FIXME
8
9 end