]> matita.cs.unibo.it Git - helm.git/blob - metadata/dumps/README
projects / helm.git / blob
? search:


e38d548564a062812989bcae4162d256ae5724a7
[helm.git] / metadata / dumps / README
1 Dumps of the Matita database containing rows regarding the Coq exportation.
2
3 Tue, 14 Feb 2006 13:36:16 -0500 zack
Unnamed repository; edit this file 'description' to name the repository.