src/HOL/Metis.thy
changeset 58306 117ba6cbe414
parent 56946 10d9bd4ea94f
child 58818 ee85e7b82d00