--- a/src/Pure/Isar/code.ML Tue Aug 19 18:21:29 2014 +0200
+++ b/src/Pure/Isar/code.ML Tue Aug 19 23:17:51 2014 +0200
@@ -49,13 +49,13 @@
val add_nbe_eqn: thm -> theory -> theory
val add_abs_eqn: thm -> theory -> theory
val add_abs_eqn_attribute: attribute
- val add_abs_eqn_attrib: Attrib.src
+ val add_abs_eqn_attrib: Token.src
val add_default_eqn: thm -> theory -> theory
val add_default_eqn_attribute: attribute
- val add_default_eqn_attrib: Attrib.src
+ val add_default_eqn_attrib: Token.src
val add_nbe_default_eqn: thm -> theory -> theory
val add_nbe_default_eqn_attribute: attribute
- val add_nbe_default_eqn_attrib: Attrib.src
+ val add_nbe_default_eqn_attrib: Token.src
val del_eqn: thm -> theory -> theory
val del_eqns: string -> theory -> theory
val del_exception: string -> theory -> theory