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 sacrideo.us | http://www.sacrideo.us
Programming is just another word for the lost art of thinking.






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