src/Pure/type_infer.ML
changeset 38980 af73cf0dc31f
parent 37236 739d8b9c59da
child 39286 1f8131a7bcb9