doc-src/TutorialI/Overview/Isar.thy
changeset 12326 b4e706774e96
parent 11238 1d789889c922
child 12815 1f073030b97a