src/HOL/Mirabelle/Mirabelle.thy
changeset 56916 b00a861d8f16
parent 49550 0a82e98fd4a3
child 59574 de392405a851
equal deleted inserted replaced
56915:75ba0e310663 56916:b00a861d8f16