--- a/src/HOLCF/FOCUS/Buffer.thy Wed Dec 03 09:53:58 2008 +0100
+++ b/src/HOLCF/FOCUS/Buffer.thy Wed Dec 03 15:58:44 2008 +0100
@@ -1,5 +1,4 @@
(* Title: HOLCF/FOCUS/Buffer.thy
- ID: $Id$
Author: David von Oheimb, TU Muenchen
Formalization of section 4 of