Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2000-06-12 15:05:11 -0700 (Mon, 12 Jun 2000) Revision: 3013 Log message:
Added gen_prover that Stephan forgot to commit.