Nom de fichier	Taille	Modification	Contenu	Description
	​Répertoire des propriétaires	​	​13h4608/14/2024	​répertoire	​
	​proofth-paper-pspdfdvi.tgz	​276.3 Ko	​17h2003/29/2002	​x-gzip	​
	​proofth-paper-source.tgz	​18.3 Ko	​17h2003/29/2002	​x-gzip	​
	​proofth-sentences.txt	​985 octets	​22h1503/26/2002	​plain	​
	​proofth-workshop.dvi	​7.1 Ko	​21h3702/11/2002	​x-dvi	​
	​proofth-workshop.tex	​6.5 Ko	​13h4204/26/2009	​x-tex	​
	​pspdf-proofth-workshop.zip	​46.6 Ko	​21h3802/11/2002	​zip	​
	​standard.tex	​1415 octets	​13h4204/26/2009	​x-tex	​
	​the-memory-measure.pdf	​262.1 Ko	​17h1203/29/2002	​pdf	​
	​8 fichier	​619 Ko			​​