doc-src/TutorialI/Misc/Itrev.thy
changeset 47634 091bcd569441
parent 42669 04dfffda5671