Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2006-02-02 14:57:30 -0800 (Thu, 02 Feb 2006)
Revision: 8627
Log message:

      Defined BTerms as the basic terms, instead of defining it based on languages.
      

Changes  Path
Added metaprl/theories/itt/reflection/experimental/itt_hoas_bterm1.ml
Added metaprl/theories/itt/reflection/experimental/itt_hoas_bterm1.mli
Added metaprl/theories/itt/reflection/experimental/itt_hoas_bterm1.prla