src/HOLCF/ax_ops/holcflogic.ML
changeset 1868 836950047d85
parent 1284 e5b95ee2616b
child 2719 27167b432e7a