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" |
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"; |