doc-src/TutorialI/Misc/simp.thy
changeset 23307 2fe3345035c7
parent 20212 f4a8b4e2fb29
child 27027 63f0b638355c