src/Pure/axclass.ML
changeset 15703 727ef1b8b3ee
parent 15696 1da4ce092c0b
child 15705 b5edb9dcec9a
     1.1 --- a/src/Pure/axclass.ML	Wed Apr 13 09:48:41 2005 +0200
     1.2 +++ b/src/Pure/axclass.ML	Wed Apr 13 18:34:22 2005 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4    val print_axclasses: theory -> unit
     1.5    val add_classrel_thms: thm list -> theory -> theory
     1.6    val add_arity_thms: thm list -> theory -> theory
     1.7 -  val add_axclass: bclass * xclass list -> ((bstring * string) * Args.src list) list
     1.8 +  val add_axclass: bclass * xclass list -> ((bstring * string) * Attrib.src list) list
     1.9      -> theory -> theory * {intro: thm, axioms: thm list}
    1.10    val add_axclass_i: bclass * class list -> ((bstring * term) * theory attribute list) list
    1.11      -> theory -> theory * {intro: thm, axioms: thm list}