Changes between Version 70 and Version 71 of TypeFunctionsSolving


Ignore:
Timestamp:
Aug 27, 2008 11:12:32 PM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSolving

    v70 v71  
    183183 
    184184 NB: No normalisation required.  Afterwards, !SubstVarVar or !SubstVarFam may apply to `co1` and all rules, except !SubstVarVar, may apply to `co2'`.  However, !SubstVarFam cannot again apply to `co1` and `co2'`, as `t` cannot contain `x` -- cf. the definition of normal equalities.. 
     185 
     186'''SLPJ''': why distinguish SubstVarVar and SubstVarFam.  The paper has only one rule'''. 
    185187 
    186188=== Rule application: specification ===