Changes between Version 42 and Version 43 of TypeFunctionsSolving


Ignore:
Timestamp:
Aug 7, 2008 11:09:20 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSolving

    v42 v43  
    175175}}} 
    176176 
    177 === === 
     177=== Interaction between local and wanted family equalities === 
    178178 
    179179Example 4 of Page 9 of the ICFP'09 paper.