Index of /pub/ATP_problems/topology

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]README1990-03-24 10:46 5.9K 
[   ]axioms.clauses1990-03-24 10:46 7.7K 
[   ]axioms.decl1990-03-24 10:46 5.1K 
[   ]defs.first_order1990-03-24 10:46 3.5K 
[   ]demods.first_order1990-03-24 10:46 1.4K 
[   ]equality_ax.first_order1990-03-24 10:46 5.0K 
[   ]lemma1.clauses1990-03-24 10:46 1.6K 
[   ]lemma1.desc1990-03-24 10:46 570  
[   ]lemma1.in1990-03-24 10:47 1.7K 
[   ]lemma1.pf1990-03-24 10:47 1.9K 
[   ]lemma1a.clauses1990-03-24 10:47 5.6K 
[   ]lemma1a.desc1990-03-24 10:47 514  
[   ]lemma1a.in1990-03-24 10:47 6.2K 
[   ]lemma1a.pf1990-03-24 10:47 7.8K 
[   ]lemma1b.clauses1990-03-24 10:47 5.6K 
[   ]lemma1b.desc1990-03-24 10:47 491  
[   ]lemma1b.in1990-03-24 10:47 6.3K 
[   ]lemma1b.pf1990-03-24 10:47 8.4K 
[   ]lemma1c.clauses1990-03-24 10:47 1.8K 
[   ]lemma1c.desc1990-03-24 10:47 519  
[   ]lemma1c.in1990-03-24 10:47 2.1K 
[   ]lemma1c.pf1990-03-24 10:47 5.9K 
[   ]lemma1d.clauses1990-03-24 10:47 5.7K 
[   ]lemma1d.desc1990-03-24 10:47 523  
[   ]lemma1d.in1990-03-24 10:47 6.4K 
[   ]lemma1d.pf1990-03-24 10:47 8.7K 
[   ]lemma2.clauses1990-03-24 10:47 446  
[   ]lemma2.desc1990-03-24 10:47 443  
[   ]lemma3.clauses1990-03-24 10:47 476  
[   ]lemma3.desc1990-03-24 10:47 544  
[   ]lemma4.clauses1990-03-24 10:47 461  
[   ]lemma4.desc1990-03-24 10:47 487  
[   ]lemma5.clauses1990-03-24 10:47 466  
[   ]lemma5.desc1990-03-24 10:47 467  
[   ]lemma6.clauses1990-03-24 10:47 421  
[   ]lemma6.desc1990-03-24 10:47 523  
[   ]lemma7.clauses1990-03-24 10:47 388  
[   ]lemma7.desc1990-03-24 10:47 416  
[   ]lemma8.clauses1990-03-24 10:47 383  
[   ]lemma8.desc1990-03-24 10:47 475  
[   ]lemma9.clauses1990-03-24 10:47 1.1K 
[   ]lemma9.desc1990-03-24 10:47 616  
[   ]lemma10.clauses1990-03-24 10:47 823  
[   ]lemma10.desc1990-03-24 10:47 637  
[   ]lemma11.clauses1990-03-24 10:47 734  
[   ]lemma11.desc1990-03-24 10:47 753  
[   ]lemma12.clauses1990-03-24 10:47 557  
[   ]lemma12.desc1990-03-24 10:47 519  
[   ]lemma13.clauses1990-03-24 10:47 501  
[   ]lemma13.desc1990-03-24 10:47 486  
[   ]lemma14.clauses1990-03-24 10:47 356  
[   ]lemma14.desc1990-03-24 10:47 471  
[   ]lemma15.clauses1990-03-24 10:47 618  
[   ]lemma15.desc1990-03-24 10:47 459  
[   ]lemma16.clauses1990-03-24 10:47 412  
[   ]lemma16.desc1990-03-24 10:47 486  
[   ]lemma17.clauses1990-03-24 10:47 2.1K 
[   ]lemma17.desc1990-03-24 10:47 681  
[   ]lemma18.clauses1990-03-24 10:47 377  
[   ]lemma18.desc1990-03-24 10:47 474  
[   ]lemma19.clauses1990-03-24 10:47 344  
[   ]lemma19.desc1990-03-24 10:47 434  
[   ]lemma20.clauses1990-03-24 10:47 302  
[   ]lemma20.desc1990-03-24 10:47 426  
[   ]lemma21.clauses1990-03-24 10:47 311  
[   ]lemma21.desc1990-03-24 10:47 427  
[   ]lemma22.clauses1990-03-24 10:47 395  
[   ]lemma22.desc1990-03-24 10:47 434  
[   ]lemma23.clauses1990-03-24 10:47 408  
[   ]lemma23.desc1990-03-24 10:47 479  
[   ]set_assump.clauses1990-03-24 10:47 1.8K 
[   ]set_assump.first_order1990-03-24 10:47 1.7K