src/HOL/Library/Diagonalize.thy
changeset 43922 c6f35921056e
parent 37388 793618618f78