Index of /~veroff/LOOPS

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]basarab.hints16-Jul-2009 12:17 123K 
[TXT]basarab.html23-Jun-2007 05:31 2.3K 
[   ]basarab.pf15-Apr-2007 06:49 92K 
[   ]basarab_auto.in23-Jun-2007 05:25 1.9K 
[   ]basarab_auto.out23-Jun-2007 05:37 7.2M 
[   ]basarab_sfdf.pf15-Apr-2007 06:49 71K 
[   ]com2d.in16-Nov-2008 06:27 2.4K 
[   ]com2d.out16-Nov-2008 12:38 17K 
[   ]com2d.pf16-Nov-2008 12:38 4.1K 
[   ]com2d.xml16-Nov-2008 12:38 15K 
[   ]d2com.in16-Nov-2008 06:31 1.6K 
[   ]d2com.out16-Nov-2008 12:38 14K 
[   ]d2com.pf16-Nov-2008 12:38 3.0K 
[   ]d2com.xml16-Nov-2008 12:38 11K 
[   ]proof3.dtd16-Nov-2008 12:39 2.0K 
[   ]proof3.xsl16-Nov-2008 12:39 3.5K 

Apache/2.2.22 (Debian) Server at www.cs.unm.edu Port 80