| changeset 12156 | d2758965362e |
| parent 11711 | ecdfd237ffee |
| child 12390 | 2fa13b499975 |
--- a/doc-src/TutorialI/Rules/Forward.thy Mon Nov 12 10:44:55 2001 +0100 +++ b/doc-src/TutorialI/Rules/Forward.thy Mon Nov 12 10:56:38 2001 +0100 @@ -33,15 +33,6 @@ as far as HERE. *} - -text {* -@{thm[display] gcd_1} -\rulename{gcd_1} - -@{thm[display] gcd_1_left} -\rulename{gcd_1_left} -*}; - text{*\noindent SKIP THIS PROOF *}