doc-src/TutorialI/Advanced/simp.thy
changeset 10001 79b23dbb4b89
parent 9958 67f2920862c7
child 10186 499637e8f2c6