Re: [isabelle] coinduct problem
On Wed, 28 Jun 2006, Temesghen Kahsai wrote:
> I am trying to prove a lemma by "coinduct".
> I get the following error, at the point when I call "proof coinduct"
> *** exception TERM raised: Expected 3 binop arguments
> *** At command "proof".
Which version of Isabelle is this exactly (apparently some development
snapshot)? Can you produce an example that reproduces the error?
This archive was generated by a fusion of
Pipermail (Mailman edition) and