Isabelle Tutorial その0
Isabelleのチュートリアルを読みながらまとめていきたいと思います。
http://www.cl.cam.ac.uk/research/hvg/Isabelle/
http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle/doc/tutorial.pdf
最新バージョンはIsabelle2009-1。バージョンが変わる前に最後までいけたらよいなと。
環境はMac(Snow Leopard)にMacPortsでIsabelleとProof Generalをインストールし、Carbon Emacsで動かしています。X-Symbolは使用していません。