The Coq mailing list

["Emer Ni Dhomhnaill" <emernd AT hotmail.com>]

Hi,

Firstly, I was wondering if it is possible to replace symbols in Coq with 
other symbols. For example if I wanted to replace the \/ symbol.

Secondly, Carlos, I think the email you sent about automating the proofs is 
very interesting. I have not heard of any such function in Coq as of yet so 
please keep me informed in what you find.

Thanks,

Emer
_________________________________________________________________________
Get Your Private, Free E-mail from MSN Hotmail at http://www.hotmail.com.