解説

　ネットで参照できる Isabelle の解説は非常に充実していますが，日本語となると数える程しかありません．スライドでないものだと，ちょっと古いですが．．．
http://www.ieice-hbkb.org/files/07/07gun_01hen_02.pdf
http://www.score.is.tsukuba.ac.jp/~minamide/notes/note.pdf