Changes between Version 381 and Version 382 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
09/30/08 22:34:48 (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v381 v382  
    2525 
    2626 * GADT: 
    27   * #2151 (nested GADT constructors in patterns) 
    2827  * #2235 (trying to use a TF lemma in the form of a local equality annotation, leading to a tricky GADT-TF interaction) 
    2928