Name	Size	Modified
	​Parent Directory	​	​1:46pm08/14/2024
	​3site-strings-of-paper.txt	​32.4 KiB	​7:30pm07/06/2002
	​3siteAttachmentPaper.zip	​164.7 KiB	​6:56am06/04/2002
	​3siteAttachmentPaperHTML.zip	​157.1 KiB	​11:02am10/13/2003
	​clp-review-compiled.tgz	​101.4 KiB	​12:01am01/31/2001
	​clp-steedman-folien.pdf	​105.3 KiB	​11:56pm01/30/2001
	​ecommerce-v4.zip	​75.9 KiB	​6:02pm07/10/2001
	​krypto-ausarbeitung4.tgz	​219.1 KiB	​2:05pm07/19/2001
	​leuven-slides.zip	​85.2 KiB	​9:05pm07/06/2002
	​leuven.pdf	​94.8 KiB	​9:07pm07/06/2002
	​leuven.ps.gz	​27 KiB	​9:07pm07/06/2002
	​lex2002.pdf	​178.7 KiB	​2:33pm10/14/2002
	​lex2002.ps	​70.4 KiB	​2:32pm10/14/2002
	​pickering-et-al-tex.tgz	​6.4 KiB	​6:43pm05/06/2001
	​vortrag-af-ea-krypto.tgz	​396.1 KiB	​5:49pm07/10/2001
	​zahlungssysteme-ausarbeitung-pdf.zip	​79.4 KiB	​4:31pm08/23/2001
	​15 files	​1794 KiB	​​