--- a/src/ZF/Tools/primrec_package.ML Wed Dec 03 21:00:39 2008 -0800
+++ b/src/ZF/Tools/primrec_package.ML Thu Dec 04 14:43:33 2008 +0100
@@ -9,8 +9,8 @@
signature PRIMREC_PACKAGE =
sig
- val add_primrec: ((Name.binding * string) * Attrib.src list) list -> theory -> theory * thm list
- val add_primrec_i: ((Name.binding * term) * attribute list) list -> theory -> theory * thm list
+ val add_primrec: ((Binding.T * string) * Attrib.src list) list -> theory -> theory * thm list
+ val add_primrec_i: ((Binding.T * term) * attribute list) list -> theory -> theory * thm list
end;
structure PrimrecPackage : PRIMREC_PACKAGE =