changeset 63585 | f4a308fdf664 |
parent 62523 | 5335e5c53312 |
child 63680 | 6e1e8b5abbfa |
--- a/src/HOL/Isar_Examples/Cantor.thy Tue Aug 02 18:45:34 2016 +0200 +++ b/src/HOL/Isar_Examples/Cantor.thy Tue Aug 02 18:46:24 2016 +0200 @@ -5,7 +5,7 @@ section \<open>Cantor's Theorem\<close> theory Cantor -imports Main + imports Main begin subsection \<open>Mathematical statement and proof\<close>