Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-01-28 17:22:29 -0800 (Fri, 28 Jan 2005)
Revision: 6522
Log message:

      Very basic deBruijn-like implementation of bound variables
      

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