Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-22 20:21:21 -0700 (Sun, 22 May 2005)
Revision: 7314
Log message:

      Basic deBruijn representation.
      

Changes	Path
+1 -0	metaprl/theories/itt/OMakefile
Added	metaprl/theories/itt/itt_hoas_debruijn.ml
Properties	metaprl/theories/itt/itt_hoas_debruijn.ml
Added	metaprl/theories/itt/itt_hoas_debruijn.mli
Properties	metaprl/theories/itt/itt_hoas_debruijn.mli
Added	metaprl/theories/itt/itt_hoas_debruijn.prla
Properties	metaprl/theories/itt/itt_hoas_debruijn.prla