| changeset 19336 | fb5e19d26d5e |
| parent 19277 | f7602e74d948 |
--- a/src/HOL/ex/SVC_Oracle.ML Fri Mar 31 10:52:20 2006 +0200 +++ b/src/HOL/ex/SVC_Oracle.ML Fri Mar 31 10:53:33 2006 +0200 @@ -8,7 +8,7 @@ The following code merely CALLS the oracle; the soundness-critical functions are at HOL/Tools/svc_funcs.ML -Based upon the work of Søren T. Heilmann +Based upon the work of Soren T. Heilmann *)