1 

     2 session "Cookbook" in "ProgTutorial" = HOL +

     3 options [document = pdf, browser_info = false, document_output = ".."]

     4   theories [document = false]

     5     "Base"

     6     "Package/Simple_Inductive_Package"

     7     "~~/src/HOL/Number_Theory/Primes" 

     8     "~~/src/HOL/Library/Efficient_Nat"

     9     "Helper/Command/Command"

    10   theories [quick_and_dirty, document = true] 

    11     "Intro"

    12     "First_Steps"

    13     "Essential"

    14     "Advanced"

    15     "Parsing"

    16     "Tactical"

    17     "Package/Ind_Intro"

    18     "Package/Ind_Prelims"

    19     "Package/Ind_Interface"

    20     "Package/Ind_General_Scheme"

    21     "Package/Ind_Code" 

    22     "Package/Ind_Extensions"

    23     "Appendix"

    24     "Recipes/Antiquotes"

    25     "Recipes/TimeLimit"

    26     "Recipes/Timing"

    27     "Recipes/CallML"

    28     "Recipes/ExternalSolver"

    29     "Recipes/Oracle"

    30     "Recipes/Sat"

    31     "Recipes/USTypes"

    32     "Solutions"

    33   files 

    34     "document/root.bib" 

    35     "document/root.tex" 

    36     "document/build"

    37