src/Pure/axclass.ML
changeset 18728 6790126ab5f6
parent 18708 4b3dadb4fe33
child 18754 4e41252eae57
     1.1 --- a/src/Pure/axclass.ML	Fri Jan 20 04:53:59 2006 +0100
     1.2 +++ b/src/Pure/axclass.ML	Sat Jan 21 23:02:14 2006 +0100
     1.3 @@ -12,7 +12,7 @@
     1.4    val get_info: theory -> string -> {super_classes: class list, intro: thm, axioms: thm list}
     1.5    val add_axclass: bstring * xstring list -> ((bstring * string) * Attrib.src list) list ->
     1.6      theory -> {intro: thm, axioms: thm list} * theory
     1.7 -  val add_axclass_i: bstring * class list -> ((bstring * term) * theory attribute list) list ->
     1.8 +  val add_axclass_i: bstring * class list -> ((bstring * term) * attribute list) list ->
     1.9      theory -> {intro: thm, axioms: thm list} * theory
    1.10    val add_classrel_thms: thm list -> theory -> theory
    1.11    val add_arity_thms: thm list -> theory -> theory
    1.12 @@ -216,7 +216,7 @@
    1.13  
    1.14  in
    1.15  
    1.16 -val add_axclass = ext_axclass Sign.intern_class Theory.read_axm Attrib.global_attribute;
    1.17 +val add_axclass = ext_axclass Sign.intern_class Theory.read_axm Attrib.attribute;
    1.18  val add_axclass_i = ext_axclass (K I) Theory.cert_axm (K I);
    1.19  
    1.20  end;