diff -r fd8bb7527f7b -r 661a8db7e647 src/HOLCF/UpperPD.thy
--- a/src/HOLCF/UpperPD.thy	Tue Dec 16 21:18:53 2008 -0800
+++ b/src/HOLCF/UpperPD.thy	Tue Dec 16 21:31:55 2008 -0800
@@ -1,5 +1,4 @@
 (*  Title:      HOLCF/UpperPD.thy
-    ID:         $Id$
     Author:     Brian Huffman
 *)