| changeset 11407 | 138919f1a135 |
| parent 10987 | c36733b147e8 |
| child 11711 | ecdfd237ffee |
--- a/doc-src/TutorialI/Rules/Tacticals.thy Wed Jul 11 13:57:01 2001 +0200 +++ b/doc-src/TutorialI/Rules/Tacticals.thy Wed Jul 11 14:00:48 2001 +0200 @@ -34,7 +34,6 @@ lemma "bigsubgoal1 \<and> bigsubgoal2 \<and> bigsubgoal3 \<and> bigsubgoal4 \<and> bigsubgoal5 \<and> bigsubgoal6" apply intro --{* @{subgoals[display,indent=0,margin=65]} *} -pr 2 txt{* @{subgoals[display,indent=0,margin=65]} A total of 6 subgoals... *}