src/HOL/Lattice/CompleteLattice.thy
changeset 44246 380a4677c55d
parent 35317 d57da4abb47d
child 56154 f0a927235162
equal deleted inserted replaced
44245:45fb4b29c267 44246:380a4677c55d