src/HOL/Library/Diagonalize.thy
2010-06-08 haftmann 2010-06-08 tuned quotes, antiquotations and whitespace
2009-03-06 haftmann 2009-03-06 constructive version of Cantor's first diagonalization argument