Changes between Version 382 and Version 383 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 1, 2008 6:29:43 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v382 v383  
    2525
    2626 * GADT:
    27   * #2235 (trying to use a TF lemma in the form of a local equality annotation, leading to a tricky GADT-TF interaction)
     27  None.
    2828
    2929 * Misc: