src/HOL/Library/Set_Algebras.thy
changeset 42316 12635bb655fd
parent 40887 ee8d0548c148
child 44142 8e27e0177518