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
authorhaftmann
Tue, 02 Jun 2009 08:56:19 +0200
changeset 31358 3e640334a1b3
parent 31357 df6acdd9dd37
child 31362 edf74583715a
made SML/NJ happy
src/Pure/Isar/attrib.ML file | annotate | diff | comparison | revisions 
--- 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 *)
isabelle