Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-24 05:59:19 -0700 (Thu, 24 Jun 2004)
Revision: 6011
Log message:

      Adding the prim_rewrite type to Basic_tactics.
      

Changes	Path
+2 -0	metaprl/tactics/proof/tactic_boot.ml
+5 -8	metaprl/tactics/proof/tactic_boot_sig.ml
+0 -1	metaprl/theories/itt/itt_int_base.mli
+0 -1	metaprl/theories/itt/itt_mpoly2.mli
+0 -1	metaprl/theories/itt/itt_mpoly3.mli