doc-src/TutorialI/Misc/simp.thy
changeset 19916 3bbb9cc5d4f1
parent 19792 e8e3da6d3ff7
child 20143 54e493016486