doc-src/Intro/bool.thy
changeset 14378 69c4d5997669
parent 105 216d6ed87399
child 32960 69916a850301
equal deleted inserted replaced
14377:f454b3004f8f 14378:69c4d5997669