Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-30 02:14:33 -0700 (Wed, 30 Apr 2003)
Revision: 4522
Log message:

      I think I finally figured the last place where msequents needed to be normalized.
      

Changes	Path
+8 -63	metaprl/filter/boot/proof_boot.ml