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