Added theory Conditionally_Complete_Lattice.thy.
Merge branch 'master' of https://github.com/avigad/isabelle

Merging updates to theory files which I do not currently control.