src/Tools/ROOT

--- a/src/Tools/ROOT	Wed Feb 17 21:08:18 2016 +0100
+++ b/src/Tools/ROOT	Wed Feb 17 23:06:24 2016 +0100
@@ -1,11 +1,8 @@
 session Spec_Check in Spec_Check = Pure +
   theories
     Spec_Check
-  theories [condition = ML_SYSTEM_POLYML]
     Examples
 
 session SML in SML = Pure +
-  options [condition = ML_SYSTEM_POLYML]
   theories
     Examples
-