Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-06-26 22:29:50 -0700 (Fri, 26 Jun 1998)
Revision: 2279
Log message:

      Prevent some closure creations
      

Changes  Path
+54 -52 metaprl/theories/tactic/rewrite_type.ml