src/HOL/Library/ContNotDenum.thy
changeset 61952 546958347e05
parent 61880 ff4d33058566
child 61975 b4b11391c676