AttemptoUrd added

This commit is contained in:
aarne
2010-03-29 13:59:46 +00:00
parent c2f97ef506
commit f6f09b401e
4 changed files with 148 additions and 0 deletions

View File

@@ -0,0 +1,6 @@
--# -path=.:./present
concrete AttemptoUrd of Attempto = SymbolsC ** AttemptoI - [mustVP] with
(Syntax = SyntaxUrd),
(Symbolic = SymbolicUrd),
(LexAttempto = LexAttemptoUrd) ;