Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-15 18:56:42 -0800 (Tue, 15 Feb 2005)
Revision: 6680
Log message:

      - BUGS 3.14 was fixed some time ago.
      - As it was stated in that file, once it is fixed, the outer higherC in
        applyAllC is unnecessary - removed it.
      

Changes	Path
+1 -12	metaprl/BUGS
+1 -1	metaprl/tactics/proof/conversionals_boot.ml
+0 -0	metaprl/theories/itt/itt_pairwise2.ml