Changes between Version 2 and Version 3 of TypeFunctionsSynTC/Second


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

What is CHR?

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSynTC/Second

    v2 v3  
    6363
    6464
    65 Towards establishing a connection between completion and CHR derivation steps
     65Towards establishing a connection between completion and CHR [What is CHR? -samb] derivation steps
    6666
    6767