(*<*)+
−
theory Paper+
−
imports +
−
   "../Lexer"+
−
   "../Simplifying" +
−
   "../Positions"+
−
   "../SizeBound4" +
−
   "HOL-Library.LaTeXsugar"+
−
begin+
−
(*>*)+
−
text {*+
−
+
−
\cite{AusafDyckhoffUrban2016}+
−
+
−
%%\bibliographystyle{plain}+
−
\bibliography{root}+
−
*}+
−
+
−
(*<*)+
−
end+
−
(*>*)+
−