The Coq mailing list

[muad <muad.dib.space AT gmail.com>]

Hi emily,

forall x, P x^Q x |- (forall x Px) ^(forall x Qx) isn't valid, so what
exactly is it that you are trying to 
prove? bear in mind that: forall x, P x^Q x -> ... is different to (forall
x, P x^Q x) -> ...

-- 
View this message in context: 
http://www.nabble.com/Proof-Help-tp23006221p23012529.html
Sent from the Coq mailing list archive at Nabble.com.