src/HOL/HOL.thy
changeset 51526 155263089e7b
parent 51314 eac4bb5adbf9
child 51673 4dfa00e264d8
child 51687 3d8720271ebf