src/HOL/Complete_Partial_Order.thy
2010-10-29 krauss 2010-10-29 hide_const various constants, in particular to avoid ugly qualifiers in HOLCF
2010-10-23 krauss 2010-10-23 Complete_Partial_Order.thy: complete partial orders over arbitrary chains, with fixpoint theorem