doc-src/TutorialI/Ifexpr/Ifexpr.thy
changeset 44849 41fddafe20d5
parent 27015 f8537d69f514