src/HOL/Library/Set_Algebras.thy
changeset 43922 c6f35921056e
parent 40887 ee8d0548c148
child 44142 8e27e0177518