doc-src/ROOT
changeset 48938 d468d72a458f
parent 48937 e7418f8d49fe
child 48939 83bd9eb1c70c
equal deleted inserted replaced
48937:e7418f8d49fe 48938:d468d72a458f
    21 session Functions (doc) in "Functions/Thy" = HOL +
    21 session Functions (doc) in "Functions/Thy" = HOL +
    22   options [browser_info = false, document = false,
    22   options [browser_info = false, document = false,
    23     document_dump = document, document_dump_mode = "tex"]
    23     document_dump = document, document_dump_mode = "tex"]
    24   theories Functions
    24   theories Functions
    25 
    25 
    26 session IsarImplementation (doc) in "IsarImplementation/Thy" = HOL +
    26 session IsarImplementation (doc) in "IsarImplementation" = HOL +
    27   options [browser_info = false, document = false,
    27   options [document_variants = "implementation"]
    28     document_dump = document, document_dump_mode = "tex"]
       
    29   theories
    28   theories
    30     Eq
    29     Eq
    31     Integration
    30     Integration
    32     Isar
    31     Isar
    33     Local_Theory
    32     Local_Theory
    35     ML
    34     ML
    36     Prelim
    35     Prelim
    37     Proof
    36     Proof
    38     Syntax
    37     Syntax
    39     Tactic
    38     Tactic
       
    39   files
       
    40     "../iman.sty"
       
    41     "../extra.sty"
       
    42     "../isar.sty"
       
    43     "../proof.sty"
       
    44     "../underscore.sty"
       
    45     "../ttbox.sty"
       
    46     "../manual.bib"
       
    47     "document/build"
       
    48     "document/root.tex"
       
    49     "document/style.sty"
    40 
    50 
    41 session "HOL-IsarRef" (doc) in "IsarRef/Thy" = HOL +
    51 session "HOL-IsarRef" (doc) in "IsarRef/Thy" = HOL +
    42   options [browser_info = false, document = false,
    52   options [browser_info = false, document = false,
    43     document_dump = document, document_dump_mode = "tex",
    53     document_dump = document, document_dump_mode = "tex",
    44     quick_and_dirty]
    54     quick_and_dirty]