doc-src/TutorialI/Misc/Itrev.thy
changeset 29400 a462459fb5ce
parent 27015 f8537d69f514
child 32833 f3716d1a2e48