doc-src/TutorialI/Misc/Itrev.thy
changeset 29406 54bac26089bd
parent 27015 f8537d69f514
child 32833 f3716d1a2e48