From 695f30725f3abec080dc25e88ed424d56d70a0e9 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 8 Jun 2007 15:30:21 +0000 Subject: [PATCH] restructured Russian; copies of Constructors in present and alltenses --- examples/logic/ArithmEng.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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