1 files changed, 8 insertions, 0 deletions
diff --git a/examples/logic/LexTheory.gf b/examples/logic/LexTheory.gf
new file mode 100644
index 000000000..8bdd715a0
--- /dev/null
+++ b/examples/logic/LexTheory.gf
@@ -0,0 +1,8 @@
+interface LexTheory = open Grammar in {
+
+  oper
+    assume_VS : VS ;
+    case_N : N ;
+    have_V2 : V2 ;
+
+}