--- a/src/Pure/Isar/specification.ML Mon Sep 20 15:29:53 2010 +0200
+++ b/src/Pure/Isar/specification.ML Mon Sep 20 16:05:25 2010 +0200
@@ -180,7 +180,7 @@
val (axioms, axioms_thy) = (specs, consts_thy) |-> fold_map (fn ((b, atts), props) =>
fold_map Thm.add_axiom
(map (apfst (fn a => Binding.map_name (K a) b))
- (PureThy.name_multi (Name.of_binding b) (map subst props)))
+ (Global_Theory.name_multi (Name.of_binding b) (map subst props)))
#>> (fn ths => ((b, atts), [(map #2 ths, [])])));
(*facts*)