Changes between Version 5 and Version 6 of Commentary/ModuleStructure

Show
Ignore:
Timestamp:
01/07/13 16:00:41 (5 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/ModuleStructure

    v5 v6  
    6060 
    6161 * !TcType 
    62  * !TcEvidence( !TcTupe ) 
     62 * !TcEvidence( !TcType ) 
    6363 * TcMType( !TcEvidence ) 
    6464 * !TcUnify( TcMType )