naddy 3367255cb4 Import of coq 7.0. ... Submitted by Yozo Toda <yozo@imit.chiba-u.ac.jp>. The Coq Proof Assistant is designed to write formal specifications, programs and to verify that programs are correct with respect to their specification.		2001-09-22 14:24:31 +00:00
..
DESCR	Import of coq 7.0.	2001-09-22 14:24:31 +00:00
PLIST	Import of coq 7.0.	2001-09-22 14:24:31 +00:00