1 files changed, 0 insertions, 31 deletions
diff --git a/examples/attempto/LexAttempto.gf b/examples/attempto/LexAttempto.gf
deleted file mode 100644
index bba76715b..000000000
--- a/examples/attempto/LexAttempto.gf
+++ /dev/null
@@ -1,31 +0,0 @@
-interface LexAttempto = open Syntax in {
-
-oper
-  possible_A : A ;
-  necessary_A : A ;
-  own_A : A ;
-  have_VV : VV ;
-  provably_Adv : Adv ;
-  provable_A : A ;
-  false_A : A ;
-  such_A : A ;
-
-  genitiveNP : NP -> CN -> NP ;
-
---  m_Unit : Unit ;
---  l_Unit : Unit ;
---  kg_Unit : Unit ;
-
-  each_Det : Det ;
-  that_Subj : Subj ;
-
-  comma_and_Conj : Conj ;
-  comma_or_Conj : Conj ;
-
-  whose_IDet : IDet ;
-
-  eachOf : NP -> NP ;
-
-  adj_thatCl : A -> S -> Cl ;
-
-}