Changes between Version 1 and Version 2 of Commentary/Abbreviations


Ignore:
Timestamp:
Jan 15, 2011 11:51:00 PM (4 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}"