From 854fe0aac10c56372f2e185ab9b68379c232d33b Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Mon, 27 Nov 2006 16:21:27 +0000
Subject: AdvS and for_Prep in resource (except Russian)

---
 examples/logic/ProoftextEng.gf | 27 +++++++++++++++++----------
 1 file changed, 17 insertions(+), 10 deletions(-)

(limited to 'examples/logic/ProoftextEng.gf')

diff --git a/examples/logic/ProoftextEng.gf b/examples/logic/ProoftextEng.gf
index 02ad3492f..9ccd7a410 100644
--- a/examples/logic/ProoftextEng.gf
+++ b/examples/logic/ProoftextEng.gf
@@ -1,12 +1,19 @@
 --# -path=.:mathematical:present:resource-1.0/api:prelude
 
-instance ProoftextEng of Prooftext = open 
-  LexTheoryEng, 
-  GrammarEng, 
-  SymbolicEng, 
-  SymbolEng, 
-  (C=ConstructX),
-  CombinatorsEng, 
-  ConstructorsEng in {
-  }
-  ;
+instance ProoftextEng of Prooftext = 
+  open 
+    LexTheoryEng, 
+    GrammarEng, 
+    SymbolicEng, 
+    SymbolEng, 
+    (C=ConstructX),
+    CombinatorsEng, 
+    ConstructorsEng,
+    (P=ParadigmsEng)
+  in {
+
+oper
+  mkLabel : Str -> Label = \s -> UsePN (P.regPN s) ;
+
+
+}
-- 
cgit v1.2.3