src/CTT/Bool.thy
changeset 25124 a7dd8d3bf969
parent 21404 eb85850d3eb7
child 35762 af3ff2ba4c54
equal deleted inserted replaced
25123:8831ca91f43f 25124:a7dd8d3bf969