equal
deleted
inserted
replaced
71 "List_to_Set_Comprehension_Examples", |
71 "List_to_Set_Comprehension_Examples", |
72 "Seq", |
72 "Seq", |
73 "Simproc_Tests", |
73 "Simproc_Tests", |
74 "Executable_Relation", |
74 "Executable_Relation", |
75 "FinFunPred", |
75 "FinFunPred", |
76 "Set_Comprehension_Pointfree_Tests" |
76 "Set_Comprehension_Pointfree_Tests", |
|
77 "Parallel_Example" |
77 ]; |
78 ]; |
78 |
79 |
79 use_thy "SVC_Oracle"; |
80 use_thy "SVC_Oracle"; |
80 if getenv "SVC_HOME" = "" then () |
81 if getenv "SVC_HOME" = "" then () |
81 else use_thy "svc_test"; |
82 else use_thy "svc_test"; |