--- a/src/HOL/Hoare/Pointer_ExamplesAbort.thy Wed Aug 11 18:22:14 2010 +0200
+++ b/src/HOL/Hoare/Pointer_ExamplesAbort.thy Wed Aug 11 18:41:06 2010 +0200
@@ -1,5 +1,4 @@
(* Title: HOL/Hoare/Pointer_ExamplesAbort.thy
- ID: $Id$
Author: Tobias Nipkow
Copyright 2002 TUM