Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-12 15:43:43 -0700 (Mon, 12 Aug 2002)
Revision: 3794
Log message:

      Adding kind well-formedness judgments, though I only use them in the equality
      judgement for union definitions.  See the README file for a few musings on why
      this is...
      

Changes	Path
+10 -0	metaprl/theories/fir/mfir_sequent.ml
+1 -0	metaprl/theories/fir/mfir_sequent.mli
+20 -1	metaprl/theories/fir/mfir_tr_base.ml
+1 -0	metaprl/theories/fir/mfir_tr_types.ml