doc-src/ROOT

 session Classes (doc) in "Classes" = HOL +
   options [document_variants = "classes"]
   theories [document = false] Setup
   theories Classes
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "document/build"
     "document/root.tex"
     "document/style.sty"
 

     Inductive_Predicate
     Evaluation
     Adaptation
     Further
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "document/adapt.tex"
     "document/architecture.tex"
     "document/build"
     "document/root.tex"

 
 session Functions (doc) in "Functions" = HOL +
   options [document_variants = "functions"]
   theories Functions
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "../iman.sty"
     "../extra.sty"
     "../isar.sty"
     "../manual.bib"

 
 session Intro (doc) in "Intro" = Pure +
   options [document_variants = "intro"]
   theories
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "../iman.sty"
     "../extra.sty"
     "../ttbox.sty"
     "../proof.sty"

     Prelim
     Proof
     Syntax
     Tactic
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "../iman.sty"
     "../extra.sty"
     "../isar.sty"
     "../proof.sty"

     HOL_Specific
     Quick_Reference
     Symbols
     ML_Tactic
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "../iman.sty"
     "../extra.sty"
     "../ttbox.sty"
     "../proof.sty"

   theories [document = ""]
     "~~/src/HOL/Library/LaTeXsugar"
     "~~/src/HOL/Library/OptionalSugar"
   theories Sugar
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "document/build"
     "document/mathpartir.sty"
     "document/root.bib"
     "document/root.tex"

   theories
     Examples1
     Examples2
     Examples3
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "document/build"
     "document/root.tex"
 
 session Logics (doc) in "Logics" = Pure +
   options [document_variants = "logics"]
   theories
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "../iman.sty"
     "../extra.sty"
     "../ttbox.sty"
     "../proof.sty"

 
 session "Logics-HOL" (doc) in "HOL" = Pure +
   options [document_variants = "logics-HOL"]
   theories
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "../iman.sty"
     "../extra.sty"
     "../ttbox.sty"
     "../proof.sty"

     FOL_examples
     ZF_examples
     If
     ZF_Isar
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "../isar.sty"
     "../ttbox.sty"
     "../proof.sty"
     "../manual.bib"

 
 session Main (doc) in "Main" = HOL +
   options [document_variants = "main"]
   theories Main_Doc
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "document/build"
     "document/root.tex"
 
 session Nitpick (doc) in "Nitpick" = Pure +
   options [document_variants = "nitpick"]
   theories
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "../iman.sty"
     "../manual.bib"
     "document/build"
     "document/root.tex"

     MyList
     Types_and_funs
     Logic
     Isar
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "document/bang.eps"
     "document/bang.pdf"
     "document/build"
     "document/intro-isabelle.tex"

 
 session Ref (doc) in "Ref" = Pure +
   options [document_variants = "ref"]
   theories
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "../iman.sty"
     "../extra.sty"
     "../ttbox.sty"
     "../proof.sty"

 
 session Sledgehammer (doc) in "Sledgehammer" = Pure +
   options [document_variants = "sledgehammer"]
   theories
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "../iman.sty"
     "../manual.bib"
     "document/build"
     "document/root.tex"

     Sessions
     Presentation
     Scala
     Misc
   files
+    "../prepare_document"
     "../IsarRef/document/style.sty"
     "../pdfsetup.sty"
     "../iman.sty"
     "../extra.sty"
     "../ttbox.sty"