Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-04 12:46:26 -0700 (Sun, 04 Aug 2002)
Revision: 3761
Log message:
This is the initial commit of the new FIR theory. This commit contains the
initial set of term declarations, display forms, and documentation. The next
step will be to work toward writing up some typing rules.