doc-src/TutorialI/Ifexpr/Ifexpr.thy
changeset 40419 718b44dbd74d
parent 27015 f8537d69f514