doc-src/TutorialI/Misc/Itrev.thy
changeset 42224 578a51fae383
parent 38798 89f273ab1d42
child 42358 b47d41d9f4b5
equal deleted inserted replaced
42223:098c86e53153 42224:578a51fae383