The Prod special case works only when the premise is of type Prop. This is now checked.
The Prod special case works only when the premise is of type Prop.
This is now checked.


git-svn-id: a49b465eaba45b67e2e1e4e0b2c256a71f59fecb@6156 85f007b7-540e-0410-9357-904b9bb8a0f7

SamB/coq