1 files changed, 0 insertions, 18 deletions
diff --git a/examples/nqueens/Nat.gf b/examples/nqueens/Nat.gf
deleted file mode 100644
index d80d462b5..000000000
--- a/examples/nqueens/Nat.gf
+++ /dev/null
@@ -1,18 +0,0 @@
-abstract Nat = {
-
-cat Nat ;
-
-data zero : Nat ;
-     succ : Nat -> Nat ;
-
-cat NE (i,j : Nat) ;
-
-data zNE : (i,j : Nat) -> NE i j -> NE (succ i) (succ j) ;
-     lNE : (j : Nat) -> NE zero (succ j) ;
-     rNE : (j : Nat) -> NE (succ j) zero ;
-
-oper plus : Nat -> Nat -> Nat ;
-def  plus zero     n = n ;
-     plus (succ m) n = succ (plus m n) ;
-
-}