Checksum: 8e46110cd6c83db02e8c1d8fae312a944208e46a8f72b16491f44ab63bb34b7c (page 1)

• coq/8.3.pl4+dfsg-2/dev/doc/naming-conventions.tex
• coq/8.4pl4dfsg-1/dev/doc/naming-conventions.tex
• coq-doc/8.3pl4-1/dev/doc/naming-conventions.tex
• coq-doc/8.4pl4-1/dev/doc/naming-conventions.tex
• coq-doc/8.4pl4-2/dev/doc/naming-conventions.tex