1 files changed, 17 insertions, 10 deletions
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) ;
+
+
+}