gf-3.1.6: examples/attempto/AttemptoFin.gf

--# -path=.:present

concrete AttemptoFin of Attempto = SymbolsC ** AttemptoI with
  (Syntax = SyntaxFin),
  (Symbolic = SymbolicFin),
  (LexAttempto = LexAttemptoFin) ;