src/HOL/Mutabelle/MutabelleExtra.thy
changeset 51085 d90218288d51
parent 49992 1e68f4701906
child 52639 df830310e550