diff options
| author | aarne <unknown> | 2005-09-15 15:22:00 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-09-15 15:22:00 +0000 |
| commit | 989fb2e4d37f77171ffa0a27c6d92826985118e8 (patch) | |
| tree | 896cd4d471085e3c89a068d205dd9d1d5b074043 /grammars | |
| parent | eeb833ca43b3c8c6b78d59b708b45abf9ade9b36 (diff) | |
MAth
Diffstat (limited to 'grammars')
| -rw-r--r-- | grammars/logic/Logic.gf | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/grammars/logic/Logic.gf b/grammars/logic/Logic.gf index 5f49fc2e1..dbd0566f2 100644 --- a/grammars/logic/Logic.gf +++ b/grammars/logic/Logic.gf @@ -82,7 +82,9 @@ def ImplE _ _ (ImplI _ _ b) a = b a ; NegE _ (NegI _ b) a = b a ; UnivE _ _ (UnivI _ _ b) a = b a ; ---- ExistE _ _ _ (ExistI _ _ a b) d = d a b ; + ExistE A B _ (ExistI A B a b) d = d a b ; + +--- ExistE _ _ _ (ExistI _ _ a b) d = d a b ; --- does not tc 13/9/2005: {a{-2-}<>a{-0-}} --- moreover: no problem with --- ConjEr _ _ (ConjI _ _ a _) = a ; |