doc-src/TutorialI/Advanced/simp.thy
changeset 17674 b1aedbc9125a
parent 16417 9bc16273c2d4
child 19792 e8e3da6d3ff7
equal deleted inserted replaced
17673:b61966d74ff1 17674:b1aedbc9125a