Re: [isabelle] Calculational reasoning proof structure



On 20.08.2014 00:21, Vadim Zaliva wrote:
> Somehow related question:
>
> Why switching from second form to calculation one (using "also have")
> I ocaasionally get "*** Vacuous calculation result" error. Any common
> reasons for such problem?
Your calculation steps are not making any progress. Have a look at the
thread titled "A bug in chained proof mode" (it's not a bug) on this
mailing list, starting 2014-06-11.

  -- Lars




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.