| changeset 31323 | 89f218fcab2a |
| parent 31306 | a74ee84288a0 |
| child 31365 | 7f65653e3d48 |
--- a/src/Pure/Isar/attrib.ML Sun May 31 19:05:20 2009 +0200 +++ b/src/Pure/Isar/attrib.ML Mon Jun 01 13:32:54 2009 +0200 @@ -240,7 +240,7 @@ (* rename_abs *) -val rename_abs = Scan.repeat (Args.maybe Args.name) >> (apsnd o Drule.rename_bvars'); +fun rename_abs x = (Scan.repeat (Args.maybe Args.name) >> (apsnd o Drule.rename_bvars')) x; (* unfold / fold definitions *)