src/HOL/Isar_examples/Cantor.ML
2000-07-30 wenzelm 2000-07-30 removed equalityCE;
1999-09-22 wenzelm 1999-09-22 qed "";
1999-08-23 wenzelm 1999-08-23 isatool expandshort;
1999-04-27 wenzelm 1999-04-27 added Isar_examples/Cantor.ML;