1 2 3 4 5 6 7 8 9 10
concrete WeekdaySwe of Weekday = open LangSwe, ParadigmsSwe in { lincat WDay = PN ; lin Mon = regPN "måndag" utrum ; Tue = regPN "tisdag" utrum ; }