doc-src/TutorialI/Misc/Itrev.thy
changeset 19978 df19a7876183
parent 17326 9fe23a5bb021
child 27015 f8537d69f514