src/HOL/ROOT
changeset 50517 8f6c11103820
parent 50480 d466ebc27810
child 50568 ee090b5712f3
     1.1 --- a/src/HOL/ROOT	Thu Dec 13 13:11:38 2012 +0100
     1.2 +++ b/src/HOL/ROOT	Thu Dec 13 15:36:08 2012 +0100
     1.3 @@ -633,7 +633,7 @@
     1.4      TreeFsetI
     1.5      "Derivation_Trees/Gram_Lang"
     1.6      "Derivation_Trees/Parallel"
     1.7 -    Stream
     1.8 +    Koenig
     1.9    theories [condition = ISABELLE_FULL_TEST]
    1.10      Misc_Codata
    1.11      Misc_Data