restructured Russian; copies of Constructors in present and alltenses

2007-06-08 15:30:21 +00:00
parent ebf1d19e15
commit 695f30725f
1 changed files with 1 additions and 1 deletions
--- 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