diff options
| author | aarne <aarne@chalmers.se> | 2010-12-07 12:32:57 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-12-07 12:32:57 +0000 |
| commit | e8adb69e3de69dba87beb59279365ecadee22085 (patch) | |
| tree | c49cd5831dae69104c3b08c900165f4ccf391a5e /examples/phrasebook/Words.gf | |
| parent | cb0a1ede4552120da60b92d92051319e7c64b3b1 (diff) | |
slight refactoring of Phrasebook, with less start words
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 |