Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-05-19 19:52:26 -0700 (Sun, 19 May 2002)
Revision: 3677
Log message:

      Got rid of reflect_itt - it's pretty outdated
      and is probably not the best way of doing these things anyway...
      

Changes  Path
+1 -1 metaprl/mk/preface
Deleted metaprl/theories/reflect_itt/Makefile
Deleted metaprl/theories/reflect_itt/refl_free_vars.ml
Deleted metaprl/theories/reflect_itt/refl_free_vars.mli
Deleted metaprl/theories/reflect_itt/refl_free_vars.prla
Deleted metaprl/theories/reflect_itt/refl_raw_term.ml
Deleted metaprl/theories/reflect_itt/refl_raw_term.mli
Deleted metaprl/theories/reflect_itt/refl_raw_term.prla
Deleted metaprl/theories/reflect_itt/refl_term.ml
Deleted metaprl/theories/reflect_itt/refl_term.mli
Deleted metaprl/theories/reflect_itt/refl_term.prla
Deleted metaprl/theories/reflect_itt/refl_var.ml
Deleted metaprl/theories/reflect_itt/refl_var.mli
Deleted metaprl/theories/reflect_itt/refl_var.prla
Deleted metaprl/theories/reflect_itt/refl_var_set.ml
Deleted metaprl/theories/reflect_itt/refl_var_set.mli
Deleted metaprl/theories/reflect_itt/refl_var_set.prla