Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
made SML/NJ happy;
authorwenzelm
Mon, 01 Jun 2009 13:32:54 +0200
changeset 31323 89f218fcab2a
parent 31322 526e149999cc
child 31324 3ffa005c7701
made SML/NJ happy;
src/Pure/Isar/attrib.ML file | annotate | diff | comparison | revisions 
--- 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 *)
isabelle