Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-09-14 15:47:05 -0700 (Mon, 14 Sep 1998)
Revision: 2468
Log message:

      Added the evaluator directory and moved there all the files left
      from my first (unfinished) attempt to write an evaluator.
      
      mk/config: $(ROOT)/lib should be the last include directory,
      not the first one. This allows ocamldep to produce necessary
      x.cmx: y.cmx dependencies.
      

Changes	Path
Properties	metaprl/evaluator
Added	metaprl/evaluator/Makefile
Properties	metaprl/evaluator/Makefile
Added	metaprl/evaluator/evaluator.ml
Properties	metaprl/evaluator/evaluator.ml
Added	metaprl/evaluator/evaluator.mli
Properties	metaprl/evaluator/evaluator.mli
Added	metaprl/evaluator/itt_redrules.ml
Properties	metaprl/evaluator/itt_redrules.ml
Added	metaprl/evaluator/itt_redrules.mli
Properties	metaprl/evaluator/itt_redrules.mli
+3 -3	metaprl/mk/config
+1 -2	metaprl/theories/base/Makefile
Deleted	metaprl/theories/base/evaluator.ml
Deleted	metaprl/theories/base/evaluator.mli
+0 -1	metaprl/theories/itt/Makefile
Deleted	metaprl/theories/itt/itt_redrules.ml
Deleted	metaprl/theories/itt/itt_redrules.mli