doc-src/TutorialI/Misc/simp.thy
changeset 37832 f8fcfc678280
parent 36069 a15454b23ebd
child 40878 7695e4de4d86