doc-src/TutorialI/Misc/Itrev.thy
changeset 44973 dfe923d5308d
parent 42669 04dfffda5671
equal deleted inserted replaced
44972:7704b2fb02cc 44973:dfe923d5308d