diff options
Diffstat (limited to 'grammars')
| -rw-r--r-- | grammars/logic/Arithm.gf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/grammars/logic/Arithm.gf b/grammars/logic/Arithm.gf index 0cf07e0c1..2d2e12fd9 100644 --- a/grammars/logic/Arithm.gf +++ b/grammars/logic/Arithm.gf @@ -44,6 +44,7 @@ def (LtNat one n) (Univ Nat (\x -> Impl (Conj (LtNat one x) (Div n x)) (EqNat x n))) ; + Abs = Abs ; --- data Elem = zero | succ ; fun ex1 : Text ; |