src/HOL/Library/Set_Algebras.thy
changeset 50516 ed6b40d15d1c
parent 47446 ed0795caec95
child 53596 d29d63460d84