Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-04-04 20:05:41 -0700 (Mon, 04 Apr 2005)
Revision: 7128
Log message:

      More precise meta-typing for the qouted terms.
      

Changes	Path
+6 -6	metaprl/refiner/reflib/term_ty_infer.ml
+13 -12	metaprl/theories/base/base_reflection.ml
+3 -2	metaprl/theories/base/base_reflection.mli