doc-src/Tutorial/Misc/arith2.ML
changeset 9226 cbe6144f0f15
parent 6577 a2b5c84d590a