src/CTT/Bool.thy
changeset 32654 5f9127407430
parent 21404 eb85850d3eb7
child 35762 af3ff2ba4c54