Changes between Version 1 and Version 2 of TypeFunctionsSynTC/Second


Ignore:
Timestamp:
Mar 8, 2007 7:42:57 PM (7 years ago)
Author:
samb
Comment:

Step 1.2 is actually the new step, not step 1.1!

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSynTC/Second

    v1 v2  
    99 
    1010 
    11 Step (1.1) is new and crucial. For confluent rewrite systems the 
     11Step (1.2) is new and crucial. For confluent rewrite systems the 
    1212checking step (2) will work fine (we also need termination of course). 
    1313But how do we now that completion will succeed?