doc-src/TutorialI/Misc/simp.thy
changeset 28951 e89dde5f365c
parent 27027 63f0b638355c
child 35992 78674c6018ca
equal deleted inserted replaced
28950:b2db06eb214d 28951:e89dde5f365c