1 files changed, 12 insertions, 0 deletions
diff --git a/examples/logic/ProoftextEng.gf b/examples/logic/ProoftextEng.gf
new file mode 100644
index 000000000..02ad3492f
--- /dev/null
+++ b/examples/logic/ProoftextEng.gf
@@ -0,0 +1,12 @@
+--# -path=.:mathematical:present:resource-1.0/api:prelude
+
+instance ProoftextEng of Prooftext = open 
+  LexTheoryEng, 
+  GrammarEng, 
+  SymbolicEng, 
+  SymbolEng, 
+  (C=ConstructX),
+  CombinatorsEng, 
+  ConstructorsEng in {
+  }
+  ;