--- a/src/Doc/ROOT Mon Apr 18 20:56:13 2016 +0200
+++ b/src/Doc/ROOT Mon Apr 18 20:56:18 2016 +0200
@@ -483,3 +483,23 @@
"tutorial.sty"
"typedef.pdf"
"types0.tex"
+
+session Typeclass_Hierarchy (doc) in "Typeclass_Hierarchy" = "Typeclass_Hierarchy_Basics" +
+ options [document_variants = "typeclass_hierarchy"]
+ theories Typeclass_Hierarchy
+ document_files (in "..")
+ "prepare_document"
+ "pdfsetup.sty"
+ "iman.sty"
+ "extra.sty"
+ "isar.sty"
+ "manual.bib"
+ document_files
+ "build"
+ "root.tex"
+ "style.sty"
+
+session Typeclass_Hierarchy_Basics in "Typeclass_Hierarchy" = "HOL" +
+ options [document = false]
+ theories
+ Setup