src/HOL/Isar_examples/Cantor.ML
1999-08-23 wenzelm 1999-08-23 isatool expandshort;
1999-04-27 wenzelm 1999-04-27 added Isar_examples/Cantor.ML;