diff options
| author | aarne <unknown> | 2004-09-08 11:36:53 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-09-08 11:36:53 +0000 |
| commit | 318379f73a4f6beae40687e7122ac476abe526f1 (patch) | |
| tree | 716f6209e4109e535024c0ea506ee037fdba7288 /grammars | |
| parent | 51c9afa5c8025971d8080fa271a0e8486b9effde (diff) | |
type check cc command
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 ; |