Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-01-02 23:24:51 -0800 (Sat, 02 Jan 1999)
Revision: 2555
Log message:

      Another small (~6%) PHP4 speedup
      

Changes	Path
+11 -18	metaprl/refiner/rewrite/rewrite_match_redex.mlp
+10 -13	metaprl/theories/tactic/tactic_type.ml