Index of /users/moore/acl2/v1-9/reports

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]story.txt1997-07-17 11:20 50K 
[   ]km97.ps1997-07-17 11:20 124K 
[   ]bkm96.ps1997-07-17 11:20 195K 
[   ]bm96.ps1997-07-17 11:20 242K 
[   ]y96b.ps1997-07-17 11:20 272K 
[   ]km97a.ps1997-07-17 11:20 351K 
[   ]km96.ps1997-07-17 11:20 445K 
[   ]km94.ps1997-07-17 11:20 562K 
[   ]y96a.ps1997-07-17 11:20 614K 

Apache/2.4.18 (Ubuntu) Server at www.cs.utexas.edu Port 80