1
(*<*)
2
theory Paper
3
imports "../Myhill"
4
begin
5
(*>*)
6
7
section {* Introduction *}
8
9
text {*
10
11
*}
12
13
14
end
15