src/HOL/MiniML/Maybe.ML
changeset 2523 0ccea141409b
parent 2058 ff04984186e9
child 2525 477c05586286