--- a/src/HOL/ROOT Mon Mar 28 12:05:47 2016 +0200
+++ b/src/HOL/ROOT Mon Mar 28 12:05:47 2016 +0200
@@ -825,6 +825,7 @@
"Tests/Misc_Mono"
"Tests/Misc_Poly"
"Tests/Small_Concrete"
+ "Tests/Stream_Friends"
"Tests/TLList_Friends"
session "HOL-Word" (main) in Word = HOL +