restest completed, English ready in exper

This commit is contained in:
aarne
2008-04-24 06:33:57 +00:00
parent 29302378c6
commit 1008ec8625
10 changed files with 84 additions and 44 deletions

View File

@@ -9,7 +9,7 @@ abstract Text = Common ** {
fun
TEmpty : Text ; --
TFullStop : Phr -> Text -> Text ; -- John walks. ...
TQuestMark : Phr -> Text -> Text ; -- Are you OK? ...
TExclMark : Phr -> Text -> Text ; -- John walks! ...
TQuestMark : Phr -> Text -> Text ; -- Are they here? ...
TExclMark : Phr -> Text -> Text ; -- Let's go! ...
}