Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-12 11:47:28 -0700 (Mon, 12 Aug 2002)
Revision: 3791
Log message:
This is an intermediate commit, in the sense that I have a few temporary
markers indicating places that I still need to finish off. This commit adds a
few more typing rules and some documentation updates. I suppose I should
tackle the harder typing rules at some point...