--- a/src/HOL/ex/SVC_Oracle.thy Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/SVC_Oracle.thy Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
(* Title: HOL/ex/SVC_Oracle.thy
- ID: $Id$
Author: Lawrence C Paulson
Copyright 1999 University of Cambridge