diff options
Diffstat (limited to 'examples/phrasebook/Words.gf')
| -rw-r--r-- | examples/phrasebook/Words.gf | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/examples/phrasebook/Words.gf b/examples/phrasebook/Words.gf index 748189d62..6964a022c 100644 --- a/examples/phrasebook/Words.gf +++ b/examples/phrasebook/Words.gf @@ -157,11 +157,9 @@ abstract Words = Sentences ** { PropOpenDay : Place -> Day -> Proposition ; -- the museum is open on Mondays PropClosedDay : Place -> Day -> Proposition ; -- the museum is closed on Mondays - PSeeYouPlaceDate : Place -> Date -> Phrase ; -- see you in the bar on Monday - PSeeYouPlace : Place -> Phrase ; -- see you in the bar - PSeeYouDate : Date -> Phrase ; -- see you on Monday - - + PSeeYouPlaceDate : Place -> Date -> Greeting ; -- see you in the bar on Monday + PSeeYouPlace : Place -> Greeting ; -- see you in the bar + PSeeYouDate : Date -> Greeting ; -- see you on Monday -- family relations |