src/CTT/Bool.thy
changeset 24209 8a2c8d623e43
parent 21404 eb85850d3eb7
child 35762 af3ff2ba4c54