Index of /users/moore/acl2/v6-5/distrib/split

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]split-acl2.tar.gzaa2014-07-31 09:35 277K 
[   ]split-acl2.tar.gzab2014-07-31 09:35 266K 
[   ]split-acl2.tar.gzac2014-07-31 09:35 264K 
[   ]split-acl2.tar.gzad2014-07-31 09:35 263K 
[   ]split-acl2.tar.gzae2014-07-31 09:35 248K 
[   ]split-acl2.tar.gzaf2014-07-31 09:35 252K 
[   ]split-acl2.tar.gzag2014-07-31 09:35 256K 
[   ]split-acl2.tar.gzah2014-07-31 09:35 263K 
[   ]split-acl2.tar.gzai2014-07-31 09:35 271K 
[   ]split-acl2.tar.gzaj2014-07-31 09:35 254K 
[   ]split-acl2.tar.gzak2014-07-31 09:35 271K 
[   ]split-acl2.tar.gzal2014-07-31 09:35 274K 
[   ]split-acl2.tar.gzam2014-07-31 09:35 242K 
[   ]split-acl2.tar.gzan2014-07-31 09:35 249K 
[   ]split-acl2.tar.gzao2014-07-31 09:35 252K 
[   ]split-acl2.tar.gzap2014-07-31 09:35 252K 
[   ]split-acl2.tar.gzaq2014-07-31 09:35 252K 
[   ]split-acl2.tar.gzar2014-07-31 09:35 245K 
[   ]split-acl2.tar.gzas2014-07-31 09:35 273K 
[   ]split-acl2.tar.gzat2014-07-31 09:35 252K 
[   ]split-acl2.tar.gzau2014-07-31 09:35 236K 
[   ]split-acl2.tar.gzav2014-07-31 09:35 241K 
[   ]split-acl2.tar.gzaw2014-07-31 09:35 243K 
[   ]split-acl2.tar.gzax2014-07-31 09:35 152K 

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