Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-06-01 21:08:23 -0700 (Sun, 01 Jun 2003)
Revision: 4636
Log message:
Added a conversion from the "high-level" (filter/boot directory) proof
representation into the "low-level" (Refiner.Refiner.Refine.extract) one.
"check" and "check_all" top-loop operations will do the conversion.