src/CTT/Arith.thy
changeset 24292 26ac9fe0e80e
parent 21404 eb85850d3eb7
child 27208 5fe899199f85