Index of /~dpierce/papers/Macintyre

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]main.dvi19-Sep-2003 12:14 41K 
[   ]main.pdf19-Sep-2003 12:14 136K 
[   ]main.ps19-Sep-2003 12:14 176K 
[TXT]main.tex02-Oct-2000 15:10 28K 

Apache/2.2.14 (Ubuntu) Server at 491635.nbb6s.group Port 80