Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-06 14:00:47 -0700 (Tue, 06 Aug 2002)
Revision: 3773
Log message:
Removed mfir_comment since it was redundant; the functionality it provided was
already present elsewhere in MetaPRL. Cleaned up Mfir_basic, Mfir_ty, and
Mfir_exp as needed as a result of this.
Added some additional support for integers and booleans to Mfir_basic so that
I can start playing around with typing rules. The Mfir_sequent module will
deal with, you guessed it, sequent related items. The Mfir_type_rules file
will contain the typing rules (at least for now).
The Mfir_test module will be used to test small examples, or to perform
``sanity checks'' on other aspects of the theory.