リビジョンアップ

Isabelle2013-2 が公開されました.

http://www.cl.cam.ac.uk/research/hvg/Isabelle/