summaryrefslogtreecommitdiff
path: root/examples/tram/TramFin.gf
blob: ae7a7e4adc9be6de951a712f9866a2f87e5e6998 (plain)
1
2
3
4
5
--# -path=.:present:multimodal:mathematical:prelude

concrete TramFin of Tram = TramI with 
  (Multimodal = MultimodalFin),
  (Symbol = SymbolFin) ;