1.1 --- a/doc-src/TutorialI/Protocol/Public.thy	Mon Mar 16 17:51:07 2009 +0100
     1.2 +++ b/doc-src/TutorialI/Protocol/Public.thy	Mon Mar 16 17:51:24 2009 +0100
     1.3 @@ -161,7 +161,7 @@
     1.4                     resolve_tac [refl, conjI, @{thm Nonce_supply}]));
     1.5  *}
     1.6  
     1.7 -method_setup possibility = {* Method.no_args (SIMPLE_METHOD possibility_tac) *}
     1.8 +method_setup possibility = {* Scan.succeed (K (SIMPLE_METHOD possibility_tac)) *}
     1.9      "for proving possibility theorems"
    1.10  
    1.11  end