Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2004-08-23 16:41:50 -0700 (Mon, 23 Aug 2004)
Revision: 6127
Log message:

       - Added display forms for bterms.
       - Added the simple-bterm case for "dest_bterm" (Note: Alexei suggested
         to rename "dest_bterm" as "subterms_of_bterm" or just "subterms",
         because it only gives us subterms.)
      

Changes	Path
+229 -2	metaprl/theories/base/base_reflection.ml
+4 -0	metaprl/theories/base/base_reflection.mli