Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-10-29 11:52:31 -0800 (Mon, 29 Oct 2001)
Revision: 3431
Log message:

      Inefficiantly implemented termC added. It is similar to funC but function
      receives term o be rewritten instead of whole environment.
      

Changes  Path
+1 -0 metaprl/filter/boot/conversionals_boot.ml
+1 -0 metaprl/filter/boot/rewrite_boot.ml
+2 -0 metaprl/filter/boot/tactic_boot_sig.mlz