Page 756 of 800
| Page 756 of 800 | Search internet |
Origin: check. Landing-place: diagnose.
Uncurry tactic used on unfit argument: x
The Uncurry tactic 
was applied to an argumentation x whose conclusion was not of form 
. The term x is given out of context and after macro and tactic expansion, so start out by locating the error. See also Uncurry-seqop used on unfit argument.
| Page 756 of 800 | Search logiweb.eu |