1 files changed, 13 insertions, 0 deletions
diff --git a/old-examples/logic/LexTheory.gf b/old-examples/logic/LexTheory.gf
new file mode 100644
index 000000000..a7a7c9439
--- /dev/null
+++ b/old-examples/logic/LexTheory.gf
@@ -0,0 +1,13 @@
+interface LexTheory = open Grammar in {
+
+  oper
+    assume_VS : VS ;
+    case_N : N ;
+    contradiction_N : N ;
+    have_V2 : V2 ;
+    hypothesis_N : N ;
+    ifthen_DConj : DConj ;
+
+    defNP : Str -> NP ;
+
+}