src/CTT/Arith.thy
changeset 32654 5f9127407430
parent 27208 5fe899199f85
child 35762 af3ff2ba4c54