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