src/LCF/ex/Ex2.ML
changeset 9028 8a1ec8f05f14
parent 5061 f947332d5465
child 17878 5b9efe4d6b47