doc-src/TutorialI/Advanced/simp.thy
changeset 28505 f98751bd715f
parent 19792 e8e3da6d3ff7
equal deleted inserted replaced
28504:7ad7d7d6df47 28505:f98751bd715f