Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-25 12:03:59 -0700 (Wed, 25 Sep 2002)
Revision: 3898
Log message:
Committing a few minor documentation updates, fixing the typing rule
for tail calls, and adding some of the typing rules for allocations
back.