--- a/src/HOLCF/ax_ops/thy_axioms.ML Wed Oct 01 18:19:44 1997 +0200
+++ b/src/HOLCF/ax_ops/thy_axioms.ML Thu Oct 02 22:54:00 1997 +0200
@@ -148,7 +148,7 @@
let val {sign, ...} = rep_theory theory;
val constraints = get_constraints_of_str sign (defvarlist@varlist)
in
- add_axioms_i (map (apsnd
+ Theory.add_axioms_i (map (apsnd
(check_and_extend sign (map fst defvarlist) (map fst varlist)) o
(read_ext_axm sign constraints)) axioms) theory
end
@@ -157,7 +157,7 @@
let val {sign, ...} = rep_theory theory;
val constraints = get_constraints_of_typ sign (defvarlist@varlist)
in
- add_axioms_i (map (apsnd (check_and_extend sign
+ Theory.add_axioms_i (map (apsnd (check_and_extend sign
(map fst defvarlist) (map fst varlist)) o
(read_ext_axm_terms sign constraints)) axiom_terms) theory
end