Changes between Version 21 and Version 22 of TypeFunctionsSolving

Show
Ignore:
Timestamp:
07/30/08 09:34:41 (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsSolving

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