| changeset 58011 | bc6bced136e5 |
| parent 54742 | 7a86358a3c0b |
| child 58838 | 59203adfc33f |
--- a/src/ZF/Tools/primrec_package.ML Tue Aug 19 18:21:29 2014 +0200 +++ b/src/ZF/Tools/primrec_package.ML Tue Aug 19 23:17:51 2014 +0200 @@ -8,7 +8,7 @@ signature PRIMREC_PACKAGE = sig - val add_primrec: ((binding * string) * Attrib.src list) list -> theory -> theory * thm list + val add_primrec: ((binding * string) * Token.src list) list -> theory -> theory * thm list val add_primrec_i: ((binding * term) * attribute list) list -> theory -> theory * thm list end;