--- 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