Changes between Version 22 and Version 23 of TypeFunctionsSolving


Ignore:
Timestamp:
Jul 30, 2008 4:39:05 PM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSolving

    v22 v23  
    116116}}} 
    117117 
    118 Derivation with rules in the new-single report:  '''SLPJ''': urk!  That is, `new-single` goes into a loop on this??  Martin? 
     118Derivation with rules in the new-single report:  
    119119{{{ 
    120120[F v] ~ v  ||-  [F v] ~ v