equal
deleted
inserted
replaced
71 "Gauge_Integration", |
71 "Gauge_Integration", |
72 "Dedekind_Real", |
72 "Dedekind_Real", |
73 "Quicksort", |
73 "Quicksort", |
74 "Birthday_Paradoxon", |
74 "Birthday_Paradoxon", |
75 "List_to_Set_Comprehension_Examples", |
75 "List_to_Set_Comprehension_Examples", |
76 "Set_Algebras", |
76 "Set_Algebras" |
77 "LSC_Examples" |
|
78 ]; |
77 ]; |
|
78 |
|
79 if getenv "EXEC_GHC" = "" then () |
|
80 else use_thy "LSC_Examples"; |
79 |
81 |
80 use_thy "SVC_Oracle"; |
82 use_thy "SVC_Oracle"; |
81 if getenv "SVC_HOME" = "" then () |
83 if getenv "SVC_HOME" = "" then () |
82 else use_thy "svc_test"; |
84 else use_thy "svc_test"; |
83 |
85 |