Index of /users/boyer/ftp/pc-nqthm/pc-nqthm-1992/examples/middle-gypsy

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]gf.dvi2002-07-28 12:33 611K 
[   ]gf.events1994-01-10 20:50 476K 
[   ]gf.lib2000-04-04 12:29 2.9M 
[   ]gf.lisp2000-04-04 12:29 327K 
[   ]gf.pdf2002-07-29 08:25 584K 
[   ]gf.proofs2000-04-04 12:29 1.0M 
[   ]gf.proved2000-04-04 12:29 358  
[   ]gf.ps2002-07-28 12:33 892K 
[TXT]gf.tex2002-07-28 12:25 794K 
[   ]gp.dvi2002-07-28 12:34 625K 
[   ]gp.events1994-01-10 20:50 1.2M 
[   ]gp.pdf2002-07-29 08:25 608K 
[   ]gp.proofs2000-04-04 12:29 1.5M 
[   ]gp.proved2000-04-04 12:29 357  
[   ]gp.ps2002-07-28 12:35 898K 
[TXT]gp.tex2002-07-28 12:33 615K 
[   ]r2.dvi2002-07-28 12:35 251K 
[   ]r2.events1994-01-10 20:50 306K 
[   ]r2.lib2000-04-04 12:28 1.1M 
[   ]r2.lisp2000-04-04 12:28 40K 
[   ]r2.pdf2002-07-29 08:25 239K 
[   ]r2.proofs2000-04-04 12:28 5.3M 
[   ]r2.proved2000-04-04 12:28 360  
[   ]r2.ps2002-07-28 12:36 414K 
[TXT]r2.tex2002-07-28 12:35 336K 

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