Re: [isabelle] Automation for sub-term-like well-orderings



Hi,

thanks everyone. Also, Peter pointed out to me that it's actually rather
simple, so automation is already there (with "auto", "induction_schema"
etc.) I should've asked yesterday ... Now I feel stupid :-)

Cheers
Lars





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