AttemptoUrd added

This commit is contained in:
aarne
2010-03-29 13:59:46 +00:00
parent 04784b7c31
commit bec718d49d
3 changed files with 134 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) ;