src/HOL/Mutabelle/MutabelleExtra.thy
changeset 73255 7e2a9a8c2b85
parent 69605 a96320074298
child 74641 6f801e1073fa