added RGL-functorial concepts to Phrasebook

This commit is contained in:
aarne
2011-11-30 10:54:05 +00:00
parent 5f9c3301b6
commit 62decb1e55
9 changed files with 133 additions and 17 deletions

View File

@@ -195,4 +195,13 @@ abstract Words = Sentences ** {
SuperlPlace : Superlative -> PlaceKind -> Place ; -- the best bar
--------------------------------------------------
-- New 30/11/2011 AR
--------------------------------------------------
fun
Thai : Nationality ;
Baht : Currency ; -- Thailand
}