sturm 18ebc748c1 make coq use the ocaml module ... requested by and OK naddy@		2002-12-18 09:40:07 +00:00
..
DESCR	Import of coq 7.0.	2001-09-22 14:24:31 +00:00
PFRAG.native	make coq use the ocaml module	2002-12-18 09:40:07 +00:00
PLIST	make coq use the ocaml module	2002-12-18 09:40:07 +00:00