# HG changeset patch
# User wenzelm
# Date 941040714 -7200
# Node ID f30e08579481bc159e74f6b9d3ed5b47bbe238a1
# Parent  ea6b79f32cfdc84cfe363b00fb134344121a240b
tuned;

diff -r ea6b79f32cfd -r f30e08579481 src/HOL/Isar_examples/Cantor.thy
--- a/src/HOL/Isar_examples/Cantor.thy	Wed Oct 27 17:27:07 1999 +0200
+++ b/src/HOL/Isar_examples/Cantor.thy	Wed Oct 27 18:11:54 1999 +0200
@@ -5,8 +5,11 @@
 
 header {* Cantor's Theorem *};
 
-theory Cantor = Main:;text_raw {* \footnote{This is an Isar version of
- the final example of the Isabelle/HOL manual \cite{isabelle-HOL}.}
+theory Cantor = Main:;
+
+text_raw {*
+ \footnote{This is an Isar version of the final example of the
+ Isabelle/HOL manual \cite{isabelle-HOL}.}
 *};
 
 text {*