1 files changed, 0 insertions, 20 deletions
diff --git a/examples/mathtext/LexLogic.gf b/examples/mathtext/LexLogic.gf
deleted file mode 100644
index c80ff27bc..000000000
--- a/examples/mathtext/LexLogic.gf
+++ /dev/null
@@ -1,20 +0,0 @@
-interface LexLogic = open Syntax, Prelude in {
-
-oper
-  case_N : N ; -- it is not the case that
-  such_A : A ; -- number such that 
-  by_Prep : Prep ; -- by Thm 5
-  all_Det : Det ; -- the article with "all"
-  axiom_N : N ;
-  theorem_N : N ;
-  definition_N : N ;
-  define_V3 : V3 ;  -- we define a as b
-  define_V2V : V2V ;  -- we define x to be f if p
-  iff_Subj : Subj ; -- if and only if
-oper
-  indef : Bool -> CN -> NP = \b -> case b of {
-    True => mkNP aPl_Det ;
-    False => mkNP aSg_Det
-    } ;
-
-}