src/Pure/type_infer.ML
1997-04-18 wenzelm 1997-04-18 tuned err msg;
1997-04-17 wenzelm 1997-04-17 tuned error msgs;
1997-04-17 wenzelm 1997-04-17 improved type check error messages;
1997-04-16 wenzelm 1997-04-16 Type inference (isolated from type.ML, completely reimplemented).