src/HOL/Isar_examples/Cantor.ML
changeset 11008 f7333f055ef6
parent 9474 b0ce3b7c9c26