doc-src/TutorialI/Misc/simp.thy
changeset 23656 4bdcb024e95d
parent 20212 f4a8b4e2fb29
child 27027 63f0b638355c