src/HOL/ROOT

--- a/src/HOL/ROOT	Thu Dec 13 13:11:38 2012 +0100
+++ b/src/HOL/ROOT	Thu Dec 13 15:36:08 2012 +0100
@@ -633,7 +633,7 @@
     TreeFsetI
     "Derivation_Trees/Gram_Lang"
     "Derivation_Trees/Parallel"
-    Stream
+    Koenig
   theories [condition = ISABELLE_FULL_TEST]
     Misc_Codata
     Misc_Data