doc-src/TutorialI/Misc/simp.thy
changeset 25696 c2058af6d9bc
parent 20212 f4a8b4e2fb29
child 27027 63f0b638355c