src/HOL/Library/Set_Algebras.thy
changeset 49093 fdc301f592c4
parent 47446 ed0795caec95
child 53596 d29d63460d84