src/CTT/arith.thy
changeset 3511 da4dd8b7ced4
parent 0 a5a9c433f639
equal deleted inserted replaced
3510:24d235feeb2a 3511:da4dd8b7ced4