doc-src/TutorialI/Overview/Isar.thy
changeset 32887 85e7ab9020ba
parent 16417 9bc16273c2d4