Changes between Version 100 and Version 101 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jan 19, 2010 10:51:44 AM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v100 v101  
    8181== New constraint simplifier ==
    8282 * [wiki:TypeFunctionsStatus]
     83 * #3826: equality reasoning failure
    8384 * #3692: bogus error message with constraint after arrow
    8485 * #3742: implication constraints and inference