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 MHonArc.