Index of /pub/ATP_problems/algebra/rings

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]README1990-03-24 10:47 2.7K 
[   ]Ring.axioms.clauses1990-03-24 10:47 2.3K 
[   ]Ring.lemmas.clauses1990-03-24 10:47 905  
[   ]Stickel.eq.clauses1990-03-24 10:47 1.2K 
[TXT]Stickel.p.clauses1990-03-24 10:47 1.4K 
[   ]commute.desc1990-03-24 10:47 1.6K 
[   ]commute.proofs1990-03-24 10:47 2.2K 
[   ]commute.ver1.clauses1990-03-24 10:47 3.2K 
[   ]commute.ver1.in1990-03-24 10:47 3.4K 
[   ]commute.ver1.out1990-03-24 10:47 76K 
[   ]commute.ver2.clauses1990-03-24 10:47 1.8K 
[   ]commute.ver2.in1990-03-24 10:47 2.4K 
[   ]commute.ver2.out1990-03-24 10:47 257K 
[   ]commute.ver3.clauses1990-03-24 10:47 2.4K 
[   ]commute.ver3.in1990-03-24 10:47 2.5K 
[   ]commute.ver3.out1990-03-24 10:47 62K 
[   ]commute.ver4.clauses1990-03-24 10:47 2.5K 
[   ]commute.ver4.in1990-03-24 10:47 2.7K 
[   ]commute.ver4.out1990-03-24 10:47 58K 
[   ]lemma.desc1990-03-24 10:47 1.6K 
[   ]lemma.ver1.clauses1990-03-24 10:47 2.8K 
[   ]lemma.ver1.in1990-03-24 10:47 3.3K 
[   ]lemma.ver1.out1990-03-24 10:47 4.6K 
[   ]lemma.ver2.clauses1990-03-24 10:47 1.6K 
[   ]lemma.ver2.in1990-03-24 10:47 2.2K 
[   ]lemma.ver2.out1990-03-24 10:47 3.7K 
[   ]lemma.ver3.clauses1990-03-24 10:47 2.3K 
[   ]lemma.ver3.in1990-03-24 10:47 2.4K 
[   ]lemma.ver3.out1990-03-24 10:47 65K 
[   ]lemma.ver4.clauses1990-03-24 10:47 2.4K 
[   ]lemma.ver4.in1990-03-24 10:47 2.6K 
[   ]lemma.ver4.out1990-03-24 10:47 62K 
[   ]minuses.desc1990-03-24 10:47 715  
[   ]minuses.ver1.clauses1990-03-24 10:47 2.1K 
[   ]minuses.ver1.in1990-03-24 10:47 2.2K 
[   ]minuses.ver1.out1990-03-24 10:47 56K 
[   ]minuses.ver2.clauses1990-03-24 10:47 2.2K 
[   ]minuses.ver2.in1990-03-24 10:47 2.4K 
[   ]minuses.ver2.out1990-03-24 10:47 4.4K 
[   ]zero.desc1990-03-24 10:47 748  
[   ]zero.ver1.clauses1990-03-24 10:47 2.1K 
[   ]zero.ver1.in1990-03-24 10:47 2.1K 
[   ]zero.ver1.out1990-03-24 10:47 3.8K 
[   ]zero.ver2.clauses1990-03-24 10:47 2.1K 
[   ]zero.ver2.in1990-03-24 10:47 2.2K 
[   ]zero.ver2.out1990-03-24 10:47 3.9K