resource synopsis

This commit is contained in:
aarne
2007-06-27 11:03:56 +00:00
parent 6c074d38c6
commit df54b3071a
7 changed files with 4449 additions and 8 deletions

View File

@@ -82,7 +82,7 @@ incomplete resource Constructors = open Grammar in {
-- A text can also be empty.
emptyText : Text ; -- 8. [empty text]
emptyText : Text ; -- 8. (empty text)
--3 Punct: punctuation marks
@@ -194,7 +194,7 @@ incomplete resource Constructors = open Grammar in {
singularImpForm : ImpForm ; -- (help yourself) [default]
pluralImpForm : ImpForm ; -- (help yourselves)
politeImpForm : ImpForm ; -- (help yourself) [polite singular]
politeImpForm : ImpForm ; -- (help yourself) (polite singular)
--2 Sentences and clauses