src/Pure/more_unify.ML
changeset 60749 f727b99faaf7
parent 59787 6e2a20486897
child 63615 d786d54efc70