Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-09-26 22:58:02 -0700 (Wed, 26 Sep 2001)
Revision: 3414
Log message:

      Added a term for atomFloat.
      Changed even more comments to be
      more informative.  Removed most
      unknown* terms since the compiler
      no longer outputs those.
      

Changes  Path
+3 -6 metaprl/theories/mc/fir_exp.ml
+4 -6 metaprl/theories/mc/fir_exp.mli
+369 -291 metaprl/theories/mc/fir_test.ml
+0 -4 metaprl/theories/mc/fir_ty.ml
+0 -7 metaprl/theories/mc/fir_ty.mli