Index of /pub/ATP_problems/algebra/groups

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]xsquared.ver2.out1990-03-24 10:47 10K 
[   ]invers1.ver1.out1990-03-24 10:47 8.4K 
[   ]invers2.ver1.out1990-03-24 10:47 7.8K 
[   ]ident2.ver1.out1990-03-24 10:47 7.8K 
[   ]xsquared.ver1.out1990-03-24 10:47 7.7K 
[   ]ident1.ver1.out1990-03-24 10:47 7.3K 
[   ]order3.ver4.out1990-03-24 10:47 6.6K 
[   ]order3.ver4.in1990-03-24 10:47 5.8K 
[   ]order2.ver4.out1990-03-24 10:47 5.6K 
[   ]order2.ver3.out1990-03-24 10:47 5.5K 
[   ]order3.ver3.out1990-03-24 10:47 5.4K 
[   ]order3.ver4.clauses1990-03-24 10:47 5.2K 
[   ]order2.ver4.in1990-03-24 10:47 4.8K 
[   ]cyclic.ver3.out1990-03-24 10:47 4.5K 
[   ]order2.ver4.clauses1990-03-24 10:47 4.4K 
[   ]index.ver1.out1990-03-24 10:47 4.3K 
[   ]README1990-03-24 10:47 4.2K 
[   ]order3.ver3.in1990-03-24 10:47 3.8K 
[   ]cyclic.ver3.in1990-03-24 10:47 3.7K 
[   ]order2.ver3.in1990-03-24 10:47 3.6K 
[   ]order3.ver3.clauses1990-03-24 10:47 3.4K 
[   ]index.ver1.in1990-03-24 10:47 3.3K 
[   ]order2.ver3.clauses1990-03-24 10:47 3.2K 
[   ]index.ver2.in1990-03-24 10:47 3.0K 
[   ]index.ver1.clauses1990-03-24 10:47 3.0K 
[   ]Group.ax.g.clauses1990-03-24 10:47 2.7K 
[   ]index.ver2.clauses1990-03-24 10:47 2.6K 
[   ]ident2.ver1.in1990-03-24 10:47 2.1K 
[   ]commutator.ver1.in1990-03-24 10:47 2.0K 
[   ]ident2.ver1.clauses1990-03-24 10:47 2.0K 
[   ]xsquared.ver1.in1990-03-24 10:47 1.9K 
[   ]ident1.ver1.in1990-03-24 10:47 1.9K 
[   ]invers1.ver1.in1990-03-24 10:47 1.9K 
[   ]invers2.ver1.in1990-03-24 10:47 1.9K 
[   ]commutator.ver2.in1990-03-24 10:47 1.8K 
[   ]ident1.ver1.clauses1990-03-24 10:47 1.8K 
[   ]invers1.ver1.clauses1990-03-24 10:47 1.7K 
[   ]xsquared.ver2.in1990-03-24 10:47 1.7K 
[   ]commutator.ver1.clauses1990-03-24 10:47 1.7K 
[   ]xsquared.ver1.clauses1990-03-24 10:47 1.6K 
[   ]invers2.ver1.clauses1990-03-24 10:47 1.6K 
[   ]index.desc1990-03-24 10:47 1.6K 
[   ]order2.desc1990-03-24 10:47 1.6K 
[TXT]Group.ax.p.clauses1990-03-24 10:47 1.6K 
[   ]order3.desc1990-03-24 10:47 1.6K 
[   ]commutator.ver2.clauses1990-03-24 10:47 1.6K 
[   ]Group.ax.eq.clauses1990-03-24 10:47 1.6K 
[   ]xsquared.ver2.clauses1990-03-24 10:47 1.5K 
[TXT]Lemmas.p.clauses1990-03-24 10:47 878  
[   ]commutator.desc1990-03-24 10:47 792  
[   ]Lemmas.eq.clauses1990-03-24 10:47 779  
[   ]cyclic.desc1990-03-24 10:47 730  
[   ]ident2.desc1990-03-24 10:47 693  
[   ]xsquared.desc1990-03-24 10:47 621  
[   ]ident1.desc1990-03-24 10:47 544  
[   ]invers2.desc1990-03-24 10:47 517  
[   ]invers1.desc1990-03-24 10:47 426