doc-src/TutorialI/Ifexpr/Ifexpr.thy
changeset 14731 5670fc027a3b
parent 12327 5a4d78204492
child 15243 ba52fdc2c4e8
equal deleted inserted replaced
14730:59ab60c6fcc6 14731:5670fc027a3b