src/HOL/ROOT

--- a/src/HOL/ROOT	Tue Feb 10 22:52:44 2015 +0100
+++ b/src/HOL/ROOT	Tue Feb 10 23:02:39 2015 +0100
@@ -1067,7 +1067,9 @@
     The Alternating Bit Protocol performed in I/O-Automata.
   *}
   options [document = false]
-  theories Correctness
+  theories
+    Correctness
+    Spec
 
 session "IOA-NTP" in "HOLCF/IOA/NTP" = IOA +
   description {*