diff -r 2b17622e1929 -r 138919f1a135 doc-src/TutorialI/Rules/Tacticals.thy
--- 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...
 *}