# HG changeset patch
# User wenzelm
# Date 1605561700 -3600
# Node ID 65554bac121b34238c926c70a7ba018a41db12c0
# Parent  429afd0d1a799db76badb82b6dd7c187ca92be42
clarified document;

diff -r 429afd0d1a79 -r 65554bac121b src/HOL/ROOT
--- a/src/HOL/ROOT	Mon Nov 16 13:11:15 2020 +0100
+++ b/src/HOL/ROOT	Mon Nov 16 22:21:40 2020 +0100
@@ -9,6 +9,8 @@
   theories
     Main (global)
     Complex_Main (global)
+  document_theories
+    Tools.Code_Generator
   document_files
     "root.bib"
     "root.tex"
diff -r 429afd0d1a79 -r 65554bac121b src/HOL/document/root.tex
--- 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}