--- a/src/HOL/ROOT Tue May 31 11:54:45 2016 +0200
+++ b/src/HOL/ROOT Tue May 31 12:24:43 2016 +0200
@@ -832,6 +832,7 @@
"Tests/Small_Concrete"
"Tests/Stream_Friends"
"Tests/TLList_Friends"
+ "Tests/Type_Class"
session "HOL-Word" (main) in Word = HOL +
theories Word