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