src/HOL/ex/SVC_Oracle.thy
changeset 17388 495c799df31d
parent 16836 45a3dc4688bc
child 20813 379ce56e5dc2
     1.1 --- a/src/HOL/ex/SVC_Oracle.thy	Wed Sep 14 22:04:38 2005 +0200
     1.2 +++ b/src/HOL/ex/SVC_Oracle.thy	Wed Sep 14 22:08:08 2005 +0200
     1.3 @@ -3,10 +3,10 @@
     1.4      Author:     Lawrence C Paulson
     1.5      Copyright   1999  University of Cambridge
     1.6  
     1.7 -Installing the oracle for SVC (Stanford Validity Checker)
     1.8 +Based upon the work of Søren T. Heilmann.
     1.9 +*)
    1.10  
    1.11 -Based upon the work of Søren T. Heilmann
    1.12 -*)
    1.13 +header {* Installing an oracle for SVC (Stanford Validity Checker) *}
    1.14  
    1.15  theory SVC_Oracle
    1.16  imports Main