src/ZF/Bool.thy
changeset 4932 c90411dde8e8
parent 2539 ddd22ceee8cc
child 9570 e16e168984e1