src/HOLCF/Sprod2.ML
changeset 2371 c5dc6f8b385b
parent 2033 639de962ded4
child 2640 ee4dfce170a0
equal deleted inserted replaced
2370:5f9607d293f5 2371:c5dc6f8b385b