Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2004-07-07 14:59:28 -0700 (Wed, 07 Jul 2004)
Revision: 6037
Log message:

      Started implementing the basic computational aspects of reflection.
      This is the first step - if_bterm is implemented.
      
      (Alexei, Aleksey and Xin)
      

Changes  Path
+1 -0 metaprl/theories/base/OMakefile
Added metaprl/theories/base/base_reflection.ml
Properties metaprl/theories/base/base_reflection.ml
Added metaprl/theories/base/base_reflection.mli
Properties metaprl/theories/base/base_reflection.mli