1 files changed, 10 insertions, 0 deletions
diff --git a/old-examples/logic/TheoryEng.gf b/old-examples/logic/TheoryEng.gf
new file mode 100644
index 000000000..a45bc0fdd
--- /dev/null
+++ b/old-examples/logic/TheoryEng.gf
@@ -0,0 +1,10 @@
+--# -path=.:mathematical:present:resource-1.0/api:prelude
+
+concrete TheoryEng of Theory = TheoryI with
+  (LexTheory = LexTheoryEng), 
+  (Grammar = GrammarEng), 
+  (Symbolic = SymbolicEng), 
+  (Symbol = SymbolEng), 
+  (Combinators = CombinatorsEng), 
+  (Constructors = ConstructorsEng), 
+  ;
+\ No newline at end of file