src/ZF/arith.ML
changeset 9697 c5fc121c2067
parent 127 eec6bb9c58ea