From a5232f7e5b8f6ca988696f3870f019113edb8d90 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Mon, 27 Nov 2006 10:54:26 +0000
Subject: part of Logic implemented generically

---
 examples/logic/ProoftextEng.gf | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 examples/logic/ProoftextEng.gf

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

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 {
+  }
+  ;
-- 
cgit v1.2.3