Index of /~dpierce/papers/undecidable/KR/Old

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 kralone-old.tex                  07-Jan-2002 08:29   20K  
 kralone.dvi                      01-Mar-2002 14:29   36K  
 kralone.pdf                      01-Mar-2002 14:29  125K  
 kralone.ps                       01-Mar-2002 14:29  244K  
 kralone.tex                      01-Mar-2002 14:29   22K

Apache/2.0.53 (Fedora) Server at www.math.metu.edu.tr Port 80