src/CTT/Bool.thy
changeset 29940 83b373f61d41
parent 21404 eb85850d3eb7
child 35762 af3ff2ba4c54