1 files changed, 0 insertions, 20 deletions
diff --git a/examples/nlg/Logic.gf b/examples/nlg/Logic.gf
deleted file mode 100644
index 63c330faf..000000000
--- a/examples/nlg/Logic.gf
+++ /dev/null
@@ -1,20 +0,0 @@
-abstract Logic = {
-
-cat
-  Ind; Prop;
-
-fun
-  john : Ind;
-  mary : Ind;
-  boy   : Ind -> Prop;
-  love  : Ind -> Ind -> Prop;
-  leave : Ind -> Prop;
-  smart : Ind -> Prop;
-  exists : (Ind -> Prop) -> Prop;
-  forall : (Ind -> Prop) -> Prop;
-  and,or : Prop -> Prop -> Prop;
-  impl : Prop -> Prop -> Prop;
-  not : Prop -> Prop;
-  eq : Ind -> Ind -> Prop;
-
-}