src/HOL/ROOT
changeset 62694 f50d7efc8fe3
parent 62479 716336f19aa9
child 62696 7325d8573fb8
     1.1 --- a/src/HOL/ROOT	Tue Mar 22 12:39:37 2016 +0100
     1.2 +++ b/src/HOL/ROOT	Tue Mar 22 12:39:37 2016 +0100
     1.3 @@ -792,7 +792,6 @@
     1.4    *}
     1.5    options [document = false]
     1.6    theories
     1.7 -    "~~/src/HOL/Library/Old_Datatype"
     1.8      Compat
     1.9      Lambda_Term
    1.10      Process
    1.11 @@ -808,6 +807,15 @@
    1.12      Misc_Primcorec
    1.13      Misc_Primrec
    1.14  
    1.15 +session "HOL-Corec_Examples" in Corec_Examples = HOL +
    1.16 +  description {*
    1.17 +    Corecursion Examples.
    1.18 +  *}
    1.19 +  options [document = false]
    1.20 +  theories
    1.21 +    LFilter
    1.22 +    Stream_Processor
    1.23 +
    1.24  session "HOL-Word" (main) in Word = HOL +
    1.25    theories Word
    1.26    document_files "root.bib" "root.tex"