src/Pure/simplifier.ML
changeset 60749 f727b99faaf7
parent 59917 9830c944670f
child 61098 e1b4b24f2ebd