doc-src/TutorialI/Misc/Itrev.thy
changeset 24341 7b8da2396c49
parent 17326 9fe23a5bb021
child 27015 f8537d69f514