moved lexical parts of Construction to Names, and added Language names there ; implemented for the six old Construction languages

This commit is contained in:
aarne
2014-06-17 19:12:18 +00:00
parent 84a26357e2
commit 613594d732
14 changed files with 496 additions and 132 deletions

View File

@@ -79,9 +79,12 @@ fun
intYear : Int -> Year ;
intMonthday : Int -> Monthday ;
monday_Weekday, tuesday_Weekday, wednesday_Weekday, thursday_Weekday, friday_Weekday, saturday_Weekday, sunday_Weekday : Weekday ;
january_Month, february_Month, march_Month, april_Month, may_Month, june_Month, july_Month : Month ;
august_Month, september_Month, october_Month, november_Month, december_Month : Month ;
-- languages
cat
Language ;
fun
InLanguage : Language -> Adv ;
}