diff -r 9e82f341a71b -r fb5e19d26d5e src/HOL/ex/SVC_Oracle.ML
--- 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
 *)