src/HOLCF/Up1.ML
changeset 5467 f864dbcda5f1
parent 4098 71e05eb27fb6
child 6543 da7b170fc8a7
equal deleted inserted replaced
5466:2ea5d254e44e 5467:f864dbcda5f1