doc-src/TutorialI/Rules/find2.thy
changeset 31590 776d6a4c1327
parent 16560 bed540afd4b3