doc-src/Intro/bool.thy
changeset 21063 3c5074f028c8
parent 105 216d6ed87399
child 32960 69916a850301
equal deleted inserted replaced
21062:876dd2695423 21063:3c5074f028c8