src/HOL/ROOT
changeset 54961 e60428f432bc
parent 54481 5c9819d7713b
child 55018 2a526bd279ed
--- a/src/HOL/ROOT	Fri Jan 10 12:09:11 2014 +0100
+++ b/src/HOL/ROOT	Fri Jan 10 11:47:10 2014 +0100
@@ -731,6 +731,7 @@
     "Derivation_Trees/Gram_Lang"
     "Derivation_Trees/Parallel"
     Koenig
+    Stream_Processor
   theories [condition = ISABELLE_FULL_TEST]
     Misc_Codatatype
     Misc_Datatype