diff options
Diffstat (limited to 'examples/nqueens/Nat.gf')
| -rw-r--r-- | examples/nqueens/Nat.gf | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/examples/nqueens/Nat.gf b/examples/nqueens/Nat.gf index d53dc10ac..638fb277c 100644 --- a/examples/nqueens/Nat.gf +++ b/examples/nqueens/Nat.gf @@ -6,15 +6,11 @@ data zero : Nat ; succ : Nat -> Nat ; cat NE (i,j : Nat) ; -cat LT (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 ; - zLT : (n : Nat) -> LT zero (succ n) ; - sLT : (m,n : Nat) -> LT m n -> LT (succ m) (succ n) ; - fun plus : Nat -> Nat -> Nat ; def plus zero n = n ; plus (succ m) n = succ (plus m n) ; |