path: root/examples/tram/TramEng.gf

--# -path=.:present:multimodal:mathematical:prelude

concrete TramEng of Tram = TramI with 
  (Multimodal = MultimodalEng),
  (Symbol = SymbolEng) ;