(*<*)+
−
theory Paper+
−
imports "Quotient" +
−
        "LaTeXsugar"+
−
begin+
−
(*>*)+
−
+
−
section {* Introduction *}+
−
+
−
text {* TBD *}+
−
+
−
+
−
+
−
(*<*)+
−
end+
−
(*>*)+
−