Name	Size	Modified
	​Parent Directory	​	​1:46pm08/14/2024
	​proofth-paper-pspdfdvi.tgz	​276.3 KiB	​5:20pm03/29/2002
	​proofth-paper-source.tgz	​18.3 KiB	​5:20pm03/29/2002
	​proofth-sentences.txt	​985 bytes	​10:15pm03/26/2002
	​proofth-workshop.dvi	​7.1 KiB	​9:37pm02/11/2002
	​proofth-workshop.tex	​6.5 KiB	​1:42pm04/26/2009
	​pspdf-proofth-workshop.zip	​46.6 KiB	​9:38pm02/11/2002
	​standard.tex	​1415 bytes	​1:42pm04/26/2009
	​the-memory-measure.pdf	​262.1 KiB	​5:12pm03/29/2002
	​8 files	​619 KiB	​​