diff -r faf7b2ba1fef -r 9a20be5be90b doc-src/IsarRef/Thy/HOLCF_Specific.thy
--- a/doc-src/IsarRef/Thy/HOLCF_Specific.thy	Sat Feb 28 16:35:33 2009 +0100
+++ b/doc-src/IsarRef/Thy/HOLCF_Specific.thy	Sat Feb 28 16:39:46 2009 +0100
@@ -1,5 +1,3 @@
-(* $Id$ *)
-
 theory HOLCF_Specific
 imports HOLCF
 begin