Isabelle/Isarのチュートリアル

次が分かりやすいようだった、[追記]そうでもない→Tobias NipkowのIsar解説 - 檜山正幸のキマイラ飼育記 メモ編 [/追記]

• Title: A Tutorial Introduction to Structured Isar Proofs
• Author: Tobias Nipkow
• http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.164.7829&rep=rep1&type=pdf

が、古いのか、今の実装とは食い違っている。

今のソース読むしかないかな。