src/ZF/Bool.thy
changeset 10551 ec9fab41b3a0
parent 9570 e16e168984e1
child 13220 62c899c77151