src/HOL/MiniML/MiniML.thy
changeset 1868 836950047d85
parent 1790 2f3694c50101
child 2525 477c05586286
equal deleted inserted replaced
1867:37615e73f2d8 1868:836950047d85