Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed comment;
authorwenzelm
Tue, 12 May 1998 18:06:01 +0200
changeset 4912 9ac1c22dfe43
parent 4911 6195e4468c54
child 4913 44c6f462c8fa
fixed comment;
src/Pure/theory.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle