Re: [isabelle] Dealing with Cases

On Tue, 08 May 2012 10:43:17 +1000, Peter Gammie wrote:

> If you have manifest case combinators (as you do here) then you can use
> the split rules that are created for the datatype.

Your examples help a lot. Thank you!

Aaron W. Hsu | arcfide at |
Programming is just another word for the lost art of thinking.

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