--- a/src/Tools/ROOT Sat Apr 26 06:43:06 2014 +0200
+++ b/src/Tools/ROOT Sat Apr 26 21:37:09 2014 +1000
@@ -1,6 +1,3 @@
-session WWW_Find in WWW_Find = Pure +
- theories [condition = ISABELLE_POLYML] WWW_Find
-
session Spec_Check in Spec_Check = Pure +
theories
Spec_Check