| changeset 31358 | 3e640334a1b3 |
| parent 31306 | a74ee84288a0 |
| child 31365 | 7f65653e3d48 |
--- a/src/Pure/Isar/attrib.ML Mon Jun 01 16:27:54 2009 -0700 +++ b/src/Pure/Isar/attrib.ML Tue Jun 02 08:56:19 2009 +0200 @@ -240,7 +240,8 @@ (* rename_abs *) -val rename_abs = Scan.repeat (Args.maybe Args.name) >> (apsnd o Drule.rename_bvars'); +val rename_abs : (Context.generic * thm -> Context.generic * thm) parser = + Scan.repeat (Args.maybe Args.name) >> (apsnd o Drule.rename_bvars'); (* unfold / fold definitions *)