Re: [isabelle] ind_cases appears to ignore chained facts



> I shall take another look for the coming release, if the move can be
> continued, and old behaviours discontinued without too much effort.

I have just attempted to perform this change. Turns out, a lot of proofs
actually break (I did not investigate the failures). So, I guess this
would not qualify as a "minor" change wrt to the approaching release.

Cheers
Lars




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