src/Pure/Thy/present.ML
changeset 26931 aa226d8405a8
parent 26433 9c2cdf28ecec
child 26957 e3f04fdd994d