src/HOL/Conditionally_Complete_Lattices.thy
2013-05-30 wenzelm 2013-05-30 tuned headers;
2013-04-25 hoelzl 2013-04-25 revert #916271d52466; add non-topological linear_continuum type class; show linear_continuum_topology is a perfect_space
2013-04-24 hoelzl 2013-04-24 spell conditional_ly_-complete lattices correct