src/HOLCF/ex/Dagstuhl.thy

--- a/src/HOLCF/ex/Dagstuhl.thy	Sun Oct 21 14:53:44 2007 +0200
+++ b/src/HOLCF/ex/Dagstuhl.thy	Sun Oct 21 16:27:42 2007 +0200
@@ -4,7 +4,7 @@
 imports Stream
 begin
 
-consts
+axiomatization
   y  :: "'a"
 
 definition