src/Doc/ROOT
changeset 66946 3d8fd98c7c86
parent 66751 1f92f5cc70e4
child 66970 13857f49d215
     1.1 --- a/src/Doc/ROOT	Mon Oct 30 19:36:27 2017 +0100
     1.2 +++ b/src/Doc/ROOT	Mon Oct 30 20:04:10 2017 +0100
     1.3 @@ -17,7 +17,6 @@
     1.4      "style.sty"
     1.5  
     1.6  session Codegen_Basics in "Codegen" = "HOL-Library" +
     1.7 -  options [document = false]
     1.8    theories
     1.9      Setup
    1.10  
    1.11 @@ -505,6 +504,5 @@
    1.12      "style.sty"
    1.13  
    1.14  session Typeclass_Hierarchy_Basics in "Typeclass_Hierarchy" = "HOL-Library" +
    1.15 -  options [document = false]
    1.16    theories
    1.17      Setup