
diff -r 63405dd65b0d -r 029400b6c893 src/HOL/Complete_Partial_Order.thy
--- a/src/HOL/Complete_Partial_Order.thy	Fri Oct 29 10:40:36 2010 +0200
+++ b/src/HOL/Complete_Partial_Order.thy	Fri Oct 29 11:04:41 2010 +0200
@@ -258,6 +258,6 @@
 
 end
 
-
+hide_const (open) lub iterates fixp admissible
 
 end




