src/HOL/Mutabelle/MutabelleExtra.thy
changeset 66010 2f7d39285a1a
parent 63167 0909deb8059b
child 66453 cc19f7ca2ed6