src/HOL/document/root.tex
changeset 72860 65554bac121b
parent 61977 f55f28132128
child 73656 299f6a8faccc
--- a/src/HOL/document/root.tex	Mon Nov 16 13:11:15 2020 +0100
+++ b/src/HOL/document/root.tex	Mon Nov 16 22:21:40 2020 +0100
@@ -28,6 +28,7 @@
 \renewcommand{\setisabellecontext}[1]{\markright{THEORY~``#1''}}
 
 \parindent 0pt\parskip 0.5ex
+\input{Code_Generator.tex}
 \input{session}
 
 \pagestyle{headings}