src/Pure/type_infer.ML
1997-04-16 wenzelm 1997-04-16 Type inference (isolated from type.ML, completely reimplemented).