blob: dfa228cd59fe587c9786466af17b5266c7d0ef47 (
plain)
1
2
3
4
5
|
--# -path=.:../Common:prelude:alltenses:mathematical
concrete TramSystemFin of TramSystem = GodisSystemFin, StopsFin, LinesFin ** TramSystemI with
(Grammar=GrammarFin), (GodisLang=GodisLangFin), (TramLexicon=TramLexiconFin);
|