src/HOL/ex/Mutil.thy
changeset 1868 836950047d85
parent 1824 44254696843a
child 2513 d708d8cdc8e8