| changeset 72621 | 65554bac121b |
| parent 61977 | f55f28132128 |
| child 73404 | 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}