doc-src/TutorialI/Misc/Itrev.thy
changeset 48460 20170ae271a5
parent 42669 04dfffda5671