src/HOL/Isar_Examples/Schroeder_Bernstein.thy
2016-08-12 wenzelm 2016-08-12 more symbols;
2016-08-02 wenzelm 2016-08-02 tuned;
2016-06-13 wenzelm 2016-06-13 tuned;
2016-06-11 wenzelm 2016-06-11 tuned;
2016-04-25 wenzelm 2016-04-25 eliminated old 'def'; tuned comments;
2015-12-27 wenzelm 2015-12-27 tuned document;
2015-12-27 wenzelm 2015-12-27 more proofs;