Changes between Version 87 and Version 88 of TypeFunctions


Ignore:
Timestamp:
Dec 3, 2008 5:13:03 AM (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions

    v87 v88  
    5858Furthermore, we have 
    5959 * [wiki:TypeFunctionsSolving details on the normalisation and solving of type equalities] and 
    60  * [wiki:??? integrating class and equality constraint solving.] 
     60 * [wiki:TypeFunctions/IntegratedSolver integrating class and equality constraint solving.] 
    6161 
    6262== References ==