Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-05-17 19:33:37 -0700 (Fri, 17 May 2002)
Revision: 3665
Log message:

      Cleaned up the legacy stuff (Itt_equal!member, etc) somewhat.
      

Changes	Path
+49 -51	metaprl/theories/reflect_itt/refl_free_vars.prla
+17 -19	metaprl/theories/reflect_itt/refl_raw_term.prla
+232 -234	metaprl/theories/reflect_itt/refl_term.prla
+39 -41	metaprl/theories/reflect_itt/refl_var.prla
+19 -21	metaprl/theories/reflect_itt/refl_var_set.prla