| changeset 15623 | 8b40f741597c |
| parent 15598 | 4ab52355bb53 |
| child 15624 | 484178635bd8 |
--- 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 *)