--- a/src/HOL/ROOT Fri May 31 09:30:32 2013 +0200
+++ b/src/HOL/ROOT Fri May 31 11:56:48 2013 +0200
@@ -742,6 +742,8 @@
session "HOL-Spec_Check" in Spec_Check = HOL +
theories
+ Spec_Check
+ theories [condition = ISABELLE_POLYML]
Examples
session "HOL-Statespace" in Statespace = HOL +