doc-src/TutorialI/Rules/find2.thy
changeset 29406 54bac26089bd
parent 16560 bed540afd4b3