Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-02-26 01:57:07 -0800 (Thu, 26 Feb 2004)
Revision: 5416
Log message:

      Old .prla file generate Proof_boot.io_proof_of_proof warnings, which is probably OK.
      The warnings used to be huge and ugly, made them shorter (at least until we regenerate
      all the old .prla files that give them).
      

Changes  Path
+3 -0 metaprl/tactics/proof/proof_boot.ml