doc-src/TutorialI/Misc/Itrev.thy
changeset 44372 f9825056dbab
parent 42669 04dfffda5671