src/CTT/Bool.thy
changeset 17440 df77edc4f5d0
parent 3837 d7f033c74b38
child 17441 5b5feca0344a