src/HOLCF/Sprod1.ML
changeset 11166 eca861fd1eb5
parent 9248 e1dee89de037
child 12030 46d57d0290a2