src/HOL/Isar_examples/Cantor.thy
changeset 7025 afbd8241797b
parent 6746 cf6ad8d22793
child 7480 0a0e0dbe1269