src/HOL/Mirabelle/Mirabelle.thy
changeset 51526 155263089e7b
parent 49550 0a82e98fd4a3
child 59574 de392405a851