Changes between Version 83 and Version 84 of TypeFunctions


Ignore:
Timestamp:
Jul 22, 2008 5:22:22 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions

    v83 v84  
    5656 * [wiki:TypeFunctionsIface interfaces.] 
    5757 
     58Furthermore, we have 
     59 * [wiki:TypeFunctionsSolving details on the normalisation and solving of type equalities.] 
    5860 
    5961== References ==