doc-src/TutorialI/Misc/simp.thy
changeset 47964 b74655182ed6
parent 40878 7695e4de4d86
equal deleted inserted replaced
47963:46c73ad5f7c0 47964:b74655182ed6