Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-13 14:39:47 -0700 (Tue, 13 Jul 2004)
Revision: 6071
Log message:

      - Added support for resource annotations on ML rewrites.
      - Added a few more definitions to Itt_reflection_test.
      

Changes	Path
+20 -21	metaprl/filter/filter/filter_prog.ml
+4 -1	metaprl/refiner/term_gen/term_meta_gen.ml
+6 -13	metaprl/theories/base/base_reflection.ml
+3 -2	metaprl/theories/base/base_reflection.mli
+19 -1	metaprl/theories/itt/itt_reflection_test.ml
+2 -0	metaprl/theories/itt/itt_reflection_test.mli
+540 -96	metaprl/theories/itt/itt_reflection_test.prla