src/HOL/Isar_Examples/Cantor.thy
2016-08-12 wenzelm 2016-08-12 more symbols;
2016-08-02 wenzelm 2016-08-02 tuned;
2016-03-05 wenzelm 2016-03-05 tuned;
2016-02-06 wenzelm 2016-02-06 tuned proofs;
2016-01-02 wenzelm 2016-01-02 tuned;
2015-12-26 wenzelm 2015-12-26 more proofs, more text;
2015-12-26 wenzelm 2015-12-26 modernized example;
2015-11-02 wenzelm 2015-11-02 tuned document;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-10-07 wenzelm 2014-10-07 more cartouches; more antiquotations;
2014-02-20 wenzelm 2014-02-20 tuned proofs; more symbols;
2010-07-01 wenzelm 2010-07-01 misc tuning and modernization;
2009-10-20 wenzelm 2009-10-20 modernized session Isar_Examples;