Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-01-10 05:47:00 -0800 (Tue, 10 Jan 2006)
Revision: 8440
Log message:

      Memory usage optimization in prefix_thenLocalLabelT

Changes  Path
+14 -17 metaprl/tactics/proof/tactic_boot.ml