Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2004-07-12 15:40:45 -0700 (Mon, 12 Jul 2004)
Revision: 6060
Log message:

      Added dest_bterm and make_bterm.
      
      Currently, for make_bterm, when n=0, consider it a 0-arity bterm.
      

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