Changes between Version 5 and Version 6 of Commentary/ModuleStructure


Ignore:
Timestamp:
Jan 8, 2013 12:00:41 AM (3 years 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 )