src/HOL/ex/SVC_Oracle.thy

--- a/src/HOL/ex/SVC_Oracle.thy	Wed Sep 14 22:04:38 2005 +0200
+++ b/src/HOL/ex/SVC_Oracle.thy	Wed Sep 14 22:08:08 2005 +0200
@@ -3,10 +3,10 @@
     Author:     Lawrence C Paulson
     Copyright   1999  University of Cambridge
 
-Installing the oracle for SVC (Stanford Validity Checker)
+Based upon the work of Søren T. Heilmann.
+*)
 
-Based upon the work of Søren T. Heilmann
-*)
+header {* Installing an oracle for SVC (Stanford Validity Checker) *}
 
 theory SVC_Oracle
 imports Main