path: root/examples/regulus/toy0/Toy0Fin.gf

--# -path=.:present:prelude

concrete Toy0Fin of Toy0 = Toy0I with
  (Syntax = SyntaxFin),
  (Lexicon = LexiconFin) ;