src/Pure/defs.ML
changeset 33063 4d462963a7db
parent 32785 ec5292653aff
child 33701 9dd1079cec3a