Index of /users/boyer/ftp/nqthm/nqthm-1992/examples/young

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]train.dvi2002-07-28 12:33 33K 
[   ]train.events2000-04-02 23:38 22K 
[   ]train.pdf2002-07-29 08:15 88K 
[   ]train.proofs2000-04-02 23:38 1.3M 
[   ]train.proved2000-04-02 23:38 350  
[   ]train.ps2002-07-28 12:33 86K 
[TXT]train.tex2002-07-28 12:33 41K 

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