politeness and disambiguation in Phrasebook (not visible yet)

This commit is contained in:
aarne
2010-03-24 08:18:54 +00:00
parent ce99935812
commit eab9110f05
8 changed files with 115 additions and 38 deletions

View File

@@ -2,7 +2,6 @@ abstract Greetings = {
cat
Greeting ;
Politeness ;
fun
GHello : Greeting ;