src/HOL/Library/Lattice_Syntax.thy
changeset 50516 ed6b40d15d1c
parent 44860 56101fa00193
child 58881 b9556a055632