extended Attempto with some constructs

2010-09-29 07:16:33 +00:00
parent 303b3f4700
commit 9e53a4652d
8 changed files with 39 additions and 22 deletions
--- a/examples/attempto/AttemptoFin.gf
+++ b/examples/attempto/AttemptoFin.gf
@@ -1,6 +1,6 @@
 --# -path=.:present

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