diff options
| author | aarne <unknown> | 2004-08-25 15:17:13 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-08-25 15:17:13 +0000 |
| commit | 51c9afa5c8025971d8080fa271a0e8486b9effde (patch) | |
| tree | f5bf73caee6a25347d72385f16cc5dcf8fd12967 /grammars | |
| parent | 4af78854b77949ebc839c43281774976b5575309 (diff) | |
codevars
Diffstat (limited to 'grammars')
| -rw-r--r-- | grammars/logic/Arithm.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/grammars/logic/Arithm.gf b/grammars/logic/Arithm.gf index 7674e9551..0cf07e0c1 100644 --- a/grammars/logic/Arithm.gf +++ b/grammars/logic/Arithm.gf @@ -44,7 +44,7 @@ def (LtNat one n) (Univ Nat (\x -> Impl (Conj (LtNat one x) (Div n x)) (EqNat x n))) ; ---- data Elem = zero | succ ; +--- data Elem = zero | succ ; fun ex1 : Text ; def ex1 = |