Versions précédentes de Pcoq

Version 1.2 (Coq 7.0, Mai 2001)
Version 1.0 (Coq 6.3.1, Février 2000)

Yves Bertot

Last modified: Wed Jan 16 16:48:00 MET 2002