Index of /users/boyer/ftp/nqthm/nqthm-1992/examples/fm9001-piton

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]README2000-04-02 23:33 2.3K 
[   ]big-add.dvi2002-07-28 12:19 50K 
[   ]big-add.events2000-04-02 23:33 32K 
[   ]big-add.pdf2002-07-29 08:14 106K 
[   ]big-add.proofs2000-04-02 23:36 2.0M 
[   ]big-add.proved2000-04-02 23:38 328  
[   ]big-add.ps2002-07-28 12:20 114K 
[TXT]big-add.tex2002-07-28 12:19 67K 
[   ]fm9001-replay.dvi2002-07-28 12:20 2.7M 
[   ]fm9001-replay.events2000-04-02 23:33 2.4M 
[   ]fm9001-replay.lib2000-04-02 23:36 9.2M 
[   ]fm9001-replay.lisp2000-04-02 23:36 668K 
[   ]fm9001-replay.pdf2002-07-29 08:14 2.0M 
[   ]fm9001-replay.proofs2000-04-02 23:34 21M 
[   ]fm9001-replay.proved2000-04-02 23:36 336  
[   ]fm9001-replay.ps2002-07-28 12:21 3.9M 
[TXT]fm9001-replay.tex2002-07-28 12:20 3.5M 
[DIR]fm9001/2002-07-29 08:13 -  
[   ]nim-piton.dvi2002-07-28 12:21 357K 
[   ]nim-piton.events2000-04-02 23:33 248K 
[   ]nim-piton.pdf2002-07-29 08:14 333K 
[   ]nim-piton.proofs2000-04-02 23:38 15M 
[   ]nim-piton.proved2000-04-02 23:38 332  
[   ]nim-piton.ps2002-07-28 12:22 562K 
[TXT]nim-piton.tex2002-07-28 12:21 496K 
[   ]piton.dvi2002-07-28 12:22 2.1M 
[   ]piton.events2000-04-02 23:33 1.6M 
[   ]piton.lib2000-04-02 23:37 21M 
[   ]piton.lisp2000-04-02 23:37 1.0M 
[   ]piton.pdf2002-07-29 08:14 1.7M 
[   ]piton.proofs2000-04-02 23:36 29M 
[   ]piton.proved2000-04-02 23:37 329  
[   ]piton.ps2002-07-28 12:23 3.0M 
[TXT]piton.tex2002-07-28 12:22 2.9M 
[   ]tmp.lisp2000-04-02 23:36 6.9K 

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