doc-src/TutorialI/Advanced/simp2.thy
changeset 48911 5debc3e4fa81
parent 48506 af1dabad14c0