src/Pure/type_infer.ML
changeset 19960 a0e3f2df9b0e
parent 19577 fdb3642feb49
child 20076 def4ad161528