doc-src/Tutorial/Misc/arith1.ML
changeset 10415 e6d7b77a0574
parent 6577 a2b5c84d590a