changeset 41914 | 4ef7e6e317fa |
parent 41911 | c6e66b32ce16 |
child 41932 | e8f113ce8a94 |
--- a/src/HOL/ex/ROOT.ML Fri Mar 11 10:37:43 2011 +0100 +++ b/src/HOL/ex/ROOT.ML Fri Mar 11 10:37:45 2011 +0100 @@ -73,10 +73,12 @@ "Quicksort", "Birthday_Paradoxon", "List_to_Set_Comprehension_Examples", - "Set_Algebras", - "LSC_Examples" + "Set_Algebras" ]; +if getenv "EXEC_GHC" = "" then () +else use_thy "LSC_Examples"; + use_thy "SVC_Oracle"; if getenv "SVC_HOME" = "" then () else use_thy "svc_test";