src/HOLCF/Tr2.ML
changeset 554 c7d9018cc9e6
parent 430 89e1986125fe
child 1168 74be52691d62