src/HOL/Metis.thy
changeset 66924 b4d4027f743b
parent 62711 09df6a51ad3c
child 69605 a96320074298