Changes between Version 9 and Version 10 of TypeFunctionsSynTC

Show
Ignore:
Timestamp:
12/07/06 12:10:21 (6 years ago)
Author:
chak
Comment:

wibble

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsSynTC

    v9 v10  
    190190 
    191191 
    192 Step 1b) is new and crucial. For confluent rewrite systems the 
    193 checking step 2) will work fine (we also need termination of course). 
     192Step (1.1) is new and crucial. For confluent rewrite systems the 
     193checking step (2) will work fine (we also need termination of course). 
    194194But how do we now that completion will succeed? 
    195195The important condition is to guarantee that Ax is confluent (and