doc-src/TutorialI/CodeGen/document/root.tex

avoid referencing thy value;
rename_numerals: use implicit theory context;
eliminated some simpset_of Int.thy (why needed anyway?);

\documentclass{article}
\begin{document}
xxx
\end{document}