1.1 --- a/doc-src/TutorialI/Rules/Forward.thy	Mon Nov 12 10:44:55 2001 +0100
     1.2 +++ b/doc-src/TutorialI/Rules/Forward.thy	Mon Nov 12 10:56:38 2001 +0100
     1.3 @@ -33,15 +33,6 @@
     1.4  as far as HERE.
     1.5  *}
     1.6  
     1.7 -
     1.8 -text {*
     1.9 -@{thm[display] gcd_1}
    1.10 -\rulename{gcd_1}
    1.11 -
    1.12 -@{thm[display] gcd_1_left}
    1.13 -\rulename{gcd_1_left}
    1.14 -*};
    1.15 -
    1.16  text{*\noindent
    1.17  SKIP THIS PROOF
    1.18  *}