src/HOL/Metis.thy
changeset 66787 64b47495676d
parent 62711 09df6a51ad3c
child 69605 a96320074298