diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-06-08 15:30:21 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-06-08 15:30:21 +0000 |
| commit | 695f30725f3abec080dc25e88ed424d56d70a0e9 (patch) | |
| tree | 4b5597ccb7b55ed6d330dc619e4028a02a9d5738 | |
| parent | ebf1d19e159d871fe5cd059e011c52e8c3ea7015 (diff) | |
restructured Russian; copies of Constructors in present and alltenses
| -rw-r--r-- | examples/logic/ArithmEng.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/logic/ArithmEng.gf b/examples/logic/ArithmEng.gf index 716350186..942b6d7c2 100644 --- a/examples/logic/ArithmEng.gf +++ b/examples/logic/ArithmEng.gf @@ -1,4 +1,4 @@ ---# -path=.:mathematical:present:api:prelude +--# -path=.:mathematical:present:prelude concrete ArithmEng of Arithm = LogicEng ** open |