--- a/doc-src/TutorialI/Types/Numbers.thy Fri Apr 15 18:16:05 2005 +0200
+++ b/doc-src/TutorialI/Types/Numbers.thy Fri Apr 15 18:43:35 2005 +0200
@@ -236,10 +236,6 @@
*};
oops
-lemma "(3/4) * (10^15) < (x :: real)"
-apply simp
-oops
-
text{*
Ring and Field