Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2005-09-23 22:56:41 -0700 (Fri, 23 Sep 2005)
Revision: 7781
Log message:

      Changed the design of "Lang" so that "BTerm" can be defined from it.
      

Changes  Path
+16 -0 metaprl/theories/itt/itt_hoas_debruijn.ml
Binary metaprl/theories/itt/itt_hoas_debruijn.prla
+159 -105 metaprl/theories/itt/itt_hoas_lang.ml
+1 -1 metaprl/theories/itt/itt_hoas_lang.mli
Binary metaprl/theories/itt/itt_hoas_lang.prla