| changeset 7304 | 94c6f8f07631 |
| parent 7284 | 29105299799c |
| child 7539 | 680eca63b98e |
--- a/src/HOL/SVC_Oracle.ML Fri Aug 20 15:41:19 1999 +0200 +++ b/src/HOL/SVC_Oracle.ML Fri Aug 20 15:41:53 1999 +0200 @@ -102,5 +102,6 @@ end; -(*True if SVC appears to exist*) -fun svc_enabled() = getenv "SVC_HOME" <> ""; +(*check if user has SVC installed*) +fun svc_enabled () = getenv "SVC_HOME" <> ""; +fun if_svc_enabled f x = if svc_enabled () then f x else ();