14.285 Uncurry tactic used on unfit argument

Prev Up Next Page 756 of 800 Search internet

Origin: check. Landing-place: diagnose.

Uncurry tactic used on unfit argument: x

The Uncurry tactic x Uncurry was applied to an argumentation x whose conclusion was not of form u infer ( v infer w ). 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.

Prev Up Next Page 756 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05