Changes between Version 226 and Version 227 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Mar 16, 2012 3:32:17 PM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v226 v227  
    66 * #4347, #4295: impredicativity 
    77 * #5320: overlap delicacy 
    8  * #5939: Pedro's generics 
     8 * #5939, #5936: Pedro's generics 
    99 
    1010=== Arity ===