--- 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