src/HOL/ROOT

--- a/src/HOL/ROOT	Fri Aug 23 12:30:51 2013 +0200
+++ b/src/HOL/ROOT	Fri Aug 23 12:40:55 2013 +0200
@@ -741,12 +741,6 @@
   options [document = false]
   theories WordExamples
 
-session "HOL-Spec_Check" in Spec_Check = HOL +
-  theories
-    Spec_Check
-  theories [condition = ISABELLE_POLYML]
-    Examples
-
 session "HOL-Statespace" in Statespace = HOL +
   theories [skip_proofs = false]
     StateSpaceEx