[isabelle] Simultaneous rule induction



Hi,

Please point me to some examples of simultaneous rule induction using
the "induct" method.

Makarius' paper "Structured Induction proofs ..." implies this is well
supported, but I don't see any examples there.

Thanks,
Randy





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