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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]church-rosser.dvi2002-07-28 12:31 81K 
[   ]church-rosser.events2000-04-02 23:27 62K 
[   ]church-rosser.pdf2002-07-29 08:09 125K 
[   ]church-rosser.proofs2000-04-02 23:27 1.6M 
[   ]church-rosser.proved2000-04-02 23:28 328  
[   ]church-rosser.ps2002-07-28 12:31 163K 
[TXT]church-rosser.tex2002-07-28 12:31 120K 
[   ]goedel.dvi2002-07-28 12:32 1.2M 
[   ]goedel.events2000-04-02 23:27 1.0M 
[   ]goedel.pdf2002-07-29 08:09 1.1M 
[   ]goedel.proofs2000-04-02 23:28 8.8M 
[   ]goedel.proved2000-04-02 23:28 324  
[   ]goedel.ps2002-07-28 12:32 1.8M 
[TXT]goedel.tex2002-07-28 12:31 1.7M 
[   ]tautology.dvi2002-07-28 12:32 95K 
[   ]tautology.events2000-04-02 23:27 68K 
[   ]tautology.pdf2002-07-29 08:09 134K 
[   ]tautology.proofs2000-04-02 23:28 634K 
[   ]tautology.proved2000-04-02 23:28 324  
[   ]tautology.ps2002-07-28 12:32 177K 
[TXT]tautology.tex2002-07-28 12:32 134K 
[   ]tmp.lisp2000-04-02 23:28 3.0K 

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