Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 1998-07-15 10:47:27 -0700 (Wed, 15 Jul 1998) Revision: 2332 Log message:
Faster match_redex