src/Pure/type_infer_context.ML
changeset 51700 c8f2bad67dbb
parent 49660 de49d9b4d7bc
child 56438 7f6b2634d853