Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-05-26 05:06:47 -0700 (Fri, 26 May 2000)
Revision: 2990
Log message:

      Finally managed to make sure that rulebox count always goes before the node count.
      

Changes	Path
+11 -11	metaprl/filter/boot/proof_boot.ml