src/HOL/Library/Countable_Set.thy
changeset 60299 5ae2a2e74c93
parent 60058 f17bb06599f6
child 60303 00c06f1315d0