Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-21 14:07:07 -0700 (Mon, 21 Jul 2003)
Revision: 4765
Log message:

      Better version of apply_all.
      

Changes	Path
+27 -28	metaprl-branches/bound_contexts/support/shell/shell.ml