src/Pure/theory.ML
changeset 4912 9ac1c22dfe43
parent 4846 9c072489a9e7
child 4970 8b65444edbb0
     1.1 --- a/src/Pure/theory.ML	Tue May 12 08:36:07 1998 +0200
     1.2 +++ b/src/Pure/theory.ML	Tue May 12 18:06:01 1998 +0200
     1.3 @@ -36,7 +36,7 @@
     1.4    val apply: (theory -> theory) list -> theory -> theory
     1.5    val axiomK: string
     1.6    val oracleK: string
     1.7 -  (*theory extendsion primitives*)
     1.8 +  (*theory extension primitives*)
     1.9    val add_classes: (bclass * xclass list) list -> theory -> theory
    1.10    val add_classes_i: (bclass * class list) list -> theory -> theory
    1.11    val add_classrel: (xclass * xclass) list -> theory -> theory