src/HOL/Metis.thy
changeset 55990 41c6b99c5fb7
parent 55509 bd67ebe275e0
child 56281 03c3d1a7c3b8