src/HOL/Mutabelle/mutabelle_extra.ML
changeset 62337 d3996d5873dd
parent 60638 16d80e5ef2dc
child 62519 a564458f94db