Changes between Version 22 and Version 23 of TypeFunctionsSolving


Ignore:
Timestamp:
Jul 30, 2008 4:39:05 PM (7 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