Index of /users/boyer/ftp/pc-nqthm/pc-nqthm-1992/examples/basic

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]arith.dvi2002-07-28 12:11 15K 
[   ]arith.events1994-01-10 20:50 10K 
[   ]arith.lib2000-04-04 12:11 107K 
[   ]arith.lisp2000-04-04 12:11 8.4K 
[   ]arith.pdf2002-07-29 08:25 64K 
[   ]arith.proofs2000-04-04 12:11 199K 
[   ]arith.proved2000-04-04 12:11 353  
[   ]arith.ps2002-07-28 12:12 50K 
[TXT]arith.tex2002-07-28 12:11 20K 
[   ]events1.dvi2002-07-28 12:12 9.1K 
[   ]events1.events1994-01-10 20:50 11K 
[   ]events1.pdf2002-07-29 08:25 65K 
[   ]events1.proofs2000-04-04 12:11 98K 
[   ]events1.proved2000-04-04 12:11 408  
[   ]events1.ps2002-07-28 12:12 48K 
[TXT]events1.tex2002-07-28 12:12 13K 
[   ]events2.dvi2002-07-28 12:12 1.5K 
[   ]events2.events1994-01-10 20:50 1.5K 
[   ]events2.pdf2002-07-29 08:25 44K 
[   ]events2.proofs2000-04-04 12:11 14K 
[   ]events2.proved2000-04-04 12:11 355  
[   ]events2.ps2002-07-28 12:12 19K 
[TXT]events2.tex2002-07-28 12:12 1.6K 
[   ]hanoi.dvi2002-07-28 12:12 12K 
[   ]hanoi.events1994-01-10 20:50 15K 
[   ]hanoi.pdf2002-07-29 08:25 64K 
[   ]hanoi.proofs2000-04-04 12:11 199K 
[   ]hanoi.proved2000-04-04 12:11 353  
[   ]hanoi.ps2002-07-28 12:12 49K 
[TXT]hanoi.tex2002-07-28 12:12 17K 
[   ]mergesort.dvi2002-07-28 12:12 2.1K 
[   ]mergesort.events1994-01-10 20:50 1.1K 
[   ]mergesort.pdf2002-07-29 08:25 49K 
[   ]mergesort.proofs2000-04-04 12:11 14K 
[   ]mergesort.proved2000-04-04 12:11 357  
[   ]mergesort.ps2002-07-28 12:12 25K 
[TXT]mergesort.tex2002-07-28 12:12 2.8K 
[   ]pigeon-hole.dvi2002-07-28 12:12 3.0K 
[   ]pigeon-hole.events1994-01-10 20:50 2.3K 
[   ]pigeon-hole.pdf2002-07-29 08:25 50K 
[   ]pigeon-hole.proofs2000-04-04 12:11 39K 
[   ]pigeon-hole.proved2000-04-04 12:11 359  
[   ]pigeon-hole.ps2002-07-28 12:12 27K 
[TXT]pigeon-hole.tex2002-07-28 12:12 4.0K 
[   ]ramsey1.dvi2002-07-28 12:13 16K 
[   ]ramsey1.events1994-01-10 20:50 12K 
[   ]ramsey1.pdf2002-07-29 08:25 71K 
[   ]ramsey1.proofs2000-04-04 12:12 243K 
[   ]ramsey1.proved2000-04-04 12:12 355  
[   ]ramsey1.ps2002-07-28 12:13 59K 
[TXT]ramsey1.tex2002-07-28 12:13 21K 
[   ]ramsey2.dvi2002-07-28 12:13 1.7K 
[   ]ramsey2.events1994-01-10 20:50 1.8K 
[   ]ramsey2.pdf2002-07-29 08:25 45K 
[   ]ramsey2.proofs2000-04-04 12:12 13K 
[   ]ramsey2.proved2000-04-04 12:12 355  
[   ]ramsey2.ps2002-07-28 12:13 23K 
[TXT]ramsey2.tex2002-07-28 12:13 2.2K 
[   ]square.dvi2002-07-28 12:13 3.5K 
[   ]square.events1994-01-10 20:50 5.7K 
[   ]square.pdf2002-07-29 08:25 53K 
[   ]square.proofs2000-04-04 12:12 35K 
[   ]square.proved2000-04-04 12:12 354  
[   ]square.ps2002-07-28 12:13 34K 
[TXT]square.tex2002-07-28 12:13 4.1K 
[   ]subset.dvi2002-07-28 12:13 8.0K 
[   ]subset.events1994-01-10 20:50 4.9K 
[   ]subset.lib2000-04-04 12:11 84K 
[   ]subset.lisp2000-04-04 12:11 8.7K 
[   ]subset.pdf2002-07-29 08:25 49K 
[   ]subset.proofs2000-04-04 12:11 76K 
[   ]subset.proved2000-04-04 12:11 354  
[   ]subset.ps2002-07-28 12:13 33K 
[TXT]subset.tex2002-07-28 12:13 11K 
[   ]symmetric-difference.dvi2002-07-28 12:13 3.6K 
[   ]symmetric-difference.events1994-01-10 20:50 3.1K 
[   ]symmetric-difference.pdf2002-07-29 08:25 48K 
[   ]symmetric-difference.proofs2000-04-04 12:12 33K 
[   ]symmetric-difference.proved2000-04-04 12:12 368  
[   ]symmetric-difference.ps2002-07-28 12:13 28K 
[TXT]symmetric-difference.tex2002-07-28 12:13 5.0K 
[   ]transitive-closure.dvi2002-07-28 12:13 19K 
[   ]transitive-closure.events1994-01-10 20:50 17K 
[   ]transitive-closure.pdf2002-07-29 08:25 71K 
[   ]transitive-closure.proofs2000-04-04 12:11 216K 
[   ]transitive-closure.proved2000-04-04 12:11 366  
[   ]transitive-closure.ps2002-07-28 12:13 61K 
[TXT]transitive-closure.tex2002-07-28 12:13 27K 
[   ]tsquare.dvi2002-07-28 12:13 33K 
[   ]tsquare.events1994-01-10 20:50 39K 
[   ]tsquare.pdf2002-07-29 08:25 87K 
[   ]tsquare.proofs2000-04-04 12:12 509K 
[   ]tsquare.proved2000-04-04 12:12 355  
[   ]tsquare.ps2002-07-28 12:14 91K 
[TXT]tsquare.tex2002-07-28 12:13 46K 

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