src/HOL/Library/Countable_Set_Type.thy
changeset 61945 1135b8de26c3
parent 61585 a9599d3d7610
child 61952 546958347e05