doc-src/TutorialI/Advanced/simp.thy
changeset 34976 06df18c9a091
parent 19792 e8e3da6d3ff7