arith.thy
changeset 26 5e3aa998e94e
parent 21 803ccc4a83bb
equal deleted inserted replaced
25:5d95fe89f501 26:5e3aa998e94e