src/CTT/Arith.thy
changeset 17440 df77edc4f5d0
parent 12110 f8b4b11cd79d
child 17441 5b5feca0344a
equal deleted inserted replaced
17439:a358da1a0218 17440:df77edc4f5d0