--- a/src/HOLCF/ex/Dagstuhl.thy Wed Feb 17 09:22:40 2010 -0800 +++ b/src/HOLCF/ex/Dagstuhl.thy Wed Feb 17 10:00:22 2010 -0800 @@ -1,5 +1,3 @@ -(* $Id$ *) - theory Dagstuhl imports Stream begin