doc-src/TutorialI/Ifexpr/Ifexpr.thy
changeset 14008 f843528b9f3c
parent 12327 5a4d78204492
child 15243 ba52fdc2c4e8
equal deleted inserted replaced
14007:8c2b9750628f 14008:f843528b9f3c