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.
*** empty log message ***
authorballarin
Thu, 24 Mar 2005 16:36:40 +0100
changeset 15623 8b40f741597c
parent 15622 4723248c982b
child 15624 484178635bd8
*** empty log message ***
src/Pure/Isar/locale.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/locale.ML	Thu Mar 24 16:34:15 2005 +0100
+++ b/src/Pure/Isar/locale.ML	Thu Mar 24 16:36:40 2005 +0100
@@ -1501,7 +1501,7 @@
   in (defs_thy, (statement, intro, axioms)) end;
 
 (* CB: modify the locale elements:
-   - assume elements become notes elements,
+   - assumes elements become notes elements,
    - notes elements are lifted
 *)
isabelle