Changes between Version 1 and Version 2 of Commentary/Abbreviations


Ignore:
Timestamp:
Jan 15, 2011 11:51:00 PM (5 years ago)
Author:
megacz
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Abbreviations

    v1 v2  
    11* "Occ" means "Occurrence"
     2
    23* "Rn" means "Renamer"
     4
    35* "Rdr" means ???
     6
    47* "Tc" means "TypeCheck{ing,er}"