src/HOL/Metis.thy
changeset 56085 3d11892ea537
parent 55509 bd67ebe275e0
child 56281 03c3d1a7c3b8
equal deleted inserted replaced
56084:75c154e9f650 56085:3d11892ea537