tuned comment;
authorwenzelm
Wed Apr 04 00:11:18 2007 +0200 (2007-04-04)
changeset 22586d2008c5f8d99
parent 22585 16af5cb012e7
child 22587 5454b06320fb
tuned comment;
src/Pure/Isar/method.ML
     1.1 --- a/src/Pure/Isar/method.ML	Wed Apr 04 00:11:17 2007 +0200
     1.2 +++ b/src/Pure/Isar/method.ML	Wed Apr 04 00:11:18 2007 +0200
     1.3 @@ -567,7 +567,7 @@
     1.4    ("fact", thms_ctxt_args fact, "composition by facts from context"),
     1.5    ("assumption", ctxt_args assumption, "proof by assumption, preferring facts"),
     1.6    ("rename_tac", goal_args (Scan.repeat1 Args.name) Tactic.rename_params_tac,
     1.7 -    "rename parameters of goal (dynamic instantiation)"),
     1.8 +    "rename parameters of goal"),
     1.9    ("rotate_tac", goal_args (Scan.optional Args.int 1) Tactic.rotate_tac,
    1.10      "rotate assumptions of goal"),
    1.11    ("tactic", simple_args Args.name tactic, "ML tactic as proof method")]);