Nombre	Tamaño	Cambió	Tipo	Descripción
	​Directorio Propietario	​	​13:4614/08/2024	​directorio	​
	​proofth-paper-pspdfdvi.tgz	​276.3 KiB	​17:2029/03/2002	​x-gzip	​
	​proofth-paper-source.tgz	​18.3 KiB	​17:2029/03/2002	​x-gzip	​
	​proofth-sentences.txt	​985 bytes	​22:1526/03/2002	​plain	​
	​proofth-workshop.dvi	​7.1 KiB	​21:3711/02/2002	​x-dvi	​
	​proofth-workshop.tex	​6.5 KiB	​13:4226/04/2009	​x-tex	​
	​pspdf-proofth-workshop.zip	​46.6 KiB	​21:3811/02/2002	​zip	​
	​standard.tex	​1415 bytes	​13:4226/04/2009	​x-tex	​
	​the-memory-measure.pdf	​262.1 KiB	​17:1229/03/2002	​pdf	​
	​8 archivos	​619 KiB			​​