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