doc-src/Tutorial/CodeGen/simpsplit.ML
changeset 9408 d3d56e1d2ec1
parent 5377 efb799c5ed3c