updated Coq, start Ch06