src/Pure/type_infer.ML
2002-10-07 nipkow 2002-10-07 take/drop -> splitAt
2000-03-30 wenzelm 2000-03-30 support polymorphic Vars;
2000-01-05 wenzelm 2000-01-05 support for dummy variables (anyT, logicT); improved error msg: meet *before* assign;
1999-09-29 wenzelm 1999-09-29 handle Sorts.DOMAIN;
1998-10-09 nipkow 1998-10-09 Unified treatment of type error msgs.
1998-10-09 nipkow 1998-10-09 More pretty breaks in error msgs.
1998-05-25 wenzelm 1998-05-25 remove seq2, scan (use seq2, foldl_map from library.ML);
1997-10-06 wenzelm 1997-10-06 eliminated raise_term, raise_typ;
1997-07-09 wenzelm 1997-07-09 improved type checking errors;
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).