blob: 22ec92df6a024d438e75065e463794008f2d6132 (
plain)
1
2
3
4
5
6
7
|
--# -path=.:/Users/aarne/GF/next-lib/present
concrete AttemptoFre of Attempto = SymbolsC ** AttemptoI with
(Syntax = SyntaxFre),
(Symbolic = SymbolicFre),
(LexAttempto = LexAttemptoFre) ;
|