type check cc command

2004-09-08 11:36:53 +00:00
parent eb83ed3743
commit 9ff30c0ac6
3 changed files with 12 additions and 1 deletions
--- 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 ;