Re: [isabelle] Proof help on Cardinality and list_all2



On Tue, 08 May 2012 11:56:27 +1000, Thomas Sewell wrote:

> Apologies about the dense proofs. If you know how the various tactics
> work you can give them hints about how to use rules, which may speed
> them up enormously. I now do this by habit.

Thank you for your explanation.  I am still going through things, but 
this thread has been most educational.

-- 
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.