src/Pure/axclass.ML
changeset 24712 64ed05609568
parent 24681 9d4982db0742
child 24731 c25aa6ae64ec
     1.1 --- a/src/Pure/axclass.ML	Tue Sep 25 15:34:35 2007 +0200
     1.2 +++ b/src/Pure/axclass.ML	Tue Sep 25 17:06:14 2007 +0200
     1.3 @@ -382,9 +382,9 @@
     1.4          (Term.map_type_tfree (fn (v, _) => TFree (v, [class])) ty));
     1.5    in
     1.6      thy
     1.7 -    |> Theory.add_path prefix
     1.8 +    |> Sign.add_path prefix
     1.9      |> fold_map add_const consts
    1.10 -    ||> Theory.restore_naming thy
    1.11 +    ||> Sign.restore_naming thy
    1.12      |-> (fn cs => mk_axioms cs
    1.13      #-> (fn axioms_prop => define_class (name, superclasses)
    1.14             (map fst cs @ other_consts) axioms_prop