--- a/src/ZF/Tools/primrec_package.ML Wed Apr 13 09:48:41 2005 +0200
+++ b/src/ZF/Tools/primrec_package.ML Wed Apr 13 18:34:22 2005 +0200
@@ -10,7 +10,7 @@
signature PRIMREC_PACKAGE =
sig
val quiet_mode: bool ref
- val add_primrec: ((bstring * string) * Args.src list) list -> theory -> theory * thm list
+ val add_primrec: ((bstring * string) * Attrib.src list) list -> theory -> theory * thm list
val add_primrec_i: ((bstring * term) * theory attribute list) list -> theory -> theory * thm list
end;