Dumps of the Matita database containing rows regarding the Coq exportation.

Tue, 14 Feb 2006 13:36:16 -0500 zack