src/HOL/Lattices_Big.thy
changeset 60517 f16e4fb20652
parent 59000 6eb0725503fc
child 60758 d8d85a8172b5