Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-06-23 23:03:37 -0700 (Sat, 23 Jun 2001)
Revision: 3289
Log message:

      Made sure reflect_itt compiles.
      

Changes	Path
+4 -4	metaprl/theories/reflect_itt/refl_free_vars.ml
+1 -1	metaprl/theories/reflect_itt/refl_free_vars.prla
+6 -6	metaprl/theories/reflect_itt/refl_raw_term.ml
+2 -2	metaprl/theories/reflect_itt/refl_raw_term.prla
+28 -28	metaprl/theories/reflect_itt/refl_term.ml
+5 -5	metaprl/theories/reflect_itt/refl_term.prla
+18 -18	metaprl/theories/reflect_itt/refl_var.ml