ex/NatSum.thy
changeset 156 fd1be45b64bf
parent 68 acad709cad5d