testing dependent choice with proof_state

Received on Wednesday, 2 May 2007 23:26:19 UTC