src/ZF/ex/enum.ML
changeset 1072 0140ff702b23
parent 71 729fe026c5f3