arith.thy
changeset 68 acad709cad5d
parent 21 803ccc4a83bb