src/ZF/arith.ML
changeset 2010 0a22b9d63a18
parent 127 eec6bb9c58ea
equal deleted inserted replaced
2009:9023e474d22a 2010:0a22b9d63a18