Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-10 14:58:52 -0700 (Tue, 10 Sep 2002)
Revision: 3866
Log message:

      Minor clean-up only.  Nothing new here.
      

Changes	Path
+4 -3	metaprl/theories/fir/BUGS
+26 -22	metaprl/theories/fir/mfir_connect_base.ml
+6 -8	metaprl/theories/fir/mfir_connect_ty.ml