src/Pure/type_infer.ML
changeset 45107 76fef3e57004
parent 43329 84472e198515
child 53672 df8068269e90