doc-src/TutorialI/Ifexpr/Ifexpr.thy
changeset 34976 06df18c9a091
parent 27015 f8537d69f514