src/CTT/Arith.thy
changeset 46343 6d9535e52915
parent 39159 0dec18004e75
child 58318 f95754ca7082
equal deleted inserted replaced
46342:c59b8560eb48 46343:6d9535e52915