Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-12-30 18:40:22 -0800 (Wed, 30 Dec 1998)
Revision: 2536
Log message:

      Inlined extract_sequent_terms.
      
      This gives another 2% on Pigeon4-ProveT
      

Changes	Path
+6 -12	metaprl/refiner/rewrite/rewrite_match_redex.mlp