Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-03-30 00:37:46 -0800 (Thu, 30 Mar 2006)
Revision: 8966
Log message:

      Added limited fallback to reduceC. ReduceC used to only try the very firts
      match. Now it will try all matches for the most specific pattern. It still
      will not fall back from more specific to less specific matches.
      

Changes  Path
+9 -6 metaprl/support/tactics/top_conversionals.ml