Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-06-04 14:34:41 -0700 (Mon, 04 Jun 2001)
Revision: 3250
Log message:

      The function that was supposed to remove duplicate subgoals at the end of
      each rulebox application was not doing anything - fixed.
      

Changes	Path
+11 -21	metaprl/filter/boot/proof_boot.ml
+297 -379	metaprl/theories/itt/itt_struct2.prla