(*<*)+
−
theory Paper+
−
imports "~~/src/HOL/Library/LaTeXsugar" +
−
begin+
−
+
−
declare [[show_question_marks = false]]+
−
+
−
(*>*)+
−
+
−
+
−
section {* Introduction *}+
−
+
−
+
−
(*<*)+
−
end+
−
(*>*)+
−