Re: [isabelle] Theorem-proving for a Bayesian model compiler



On Wed, 16 Mar 2011, Kevin Van Horn wrote:

A introduction on how to write tactics is found in the Isabelle
Cookbook:
http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf

Great! This seems to have a lot of the missing pieces I couldn't find in the tutorial and reference manual.

You should also look at the "implementation" manual.


	Makarius






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