(*<*)+
−
theory Paper+
−
imports "../Nominal/Test"+
−
begin+
−
(*>*)+
−
+
−
section {* Introduction *}+
−
+
−
text {*+
−
  Here can come any text.+
−
+
−
*}+
−
+
−
(*<*)+
−
end+
−
(*>*)+
−