src/HOL/Examples/Cantor.thy
changeset 82912 ad66fb23998a
parent 76987 4c275405faae