Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-06-23 23:24:03 -0700 (Sat, 23 Jun 2001)
Revision: 3290
Log message:

      Removed the hack for old IO proof type - I believe that
      we no longer have any "old IO" files.
      

Changes  Path
+2 -185 metaprl/filter/boot/proof_boot.ml
Properties metaprl/theories/reflect_itt