src/HOL/Library/Set_Algebras.thy
changeset 62379 340738057c8c
parent 61585 a9599d3d7610
child 63473 151bb79536a7