# HG changeset patch
# User wenzelm
# Date 894989161 -7200
# Node ID 9ac1c22dfe43e45b788eb92c35c8f6a1f164a350
# Parent  6195e4468c545d1389bcd4e17bc4acfaa23a5191
fixed comment;

diff -r 6195e4468c54 -r 9ac1c22dfe43 src/Pure/theory.ML
--- a/src/Pure/theory.ML	Tue May 12 08:36:07 1998 +0200
+++ b/src/Pure/theory.ML	Tue May 12 18:06:01 1998 +0200
@@ -36,7 +36,7 @@
   val apply: (theory -> theory) list -> theory -> theory
   val axiomK: string
   val oracleK: string
-  (*theory extendsion primitives*)
+  (*theory extension primitives*)
   val add_classes: (bclass * xclass list) list -> theory -> theory
   val add_classes_i: (bclass * class list) list -> theory -> theory
   val add_classrel: (xclass * xclass) list -> theory -> theory