src/Pure/type_infer.ML
2005-09-06 haftmann 2005-09-06 introduced some new-style AList operations
2005-07-01 wenzelm 2005-07-01 avoid polyeq;
2005-06-11 wenzelm 2005-06-11 accomodate changed #classes;
2005-06-02 wenzelm 2005-06-02 tuned;
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-06-22 wenzelm 2004-06-22 tuned certify_typ/term;
2004-06-21 wenzelm 2004-06-21 Type.cert_typ;
2004-06-01 wenzelm 2004-06-01 removed obsolete sort 'logic';
2004-05-29 wenzelm 2004-05-29 improved output; refer to Pretty.pp;
2004-05-21 wenzelm 2004-05-21 incorporate type inference interface from type.ML;
2004-05-01 wenzelm 2004-05-01 improved Term.invent_names;
2002-10-21 berghofe 2002-10-21 Replaced variantlist (quadratic) by gen_names (linear).
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).