Index of /pub/ATP_problems/geometry

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]README1990-03-24 10:49 3.8K 
[   ]axioms.ver11990-03-24 10:49 5.0K 
[   ]axioms.ver21990-03-24 10:49 3.5K 
[   ]axioms.ver31990-03-24 10:49 3.6K 
[   ]e1.1.proof1990-03-24 10:49 2.8K 
[   ]t1.desc1990-03-24 10:49 919  
[   ]t1.ver1.clauses1990-03-24 10:49 4.9K 
[   ]t1.ver1.in1990-03-24 10:49 3.8K 
[   ]t1.ver1.out1990-03-24 10:49 4.5K 
[   ]t2.desc1990-03-24 10:49 913  
[   ]t2.ver1.clauses1990-03-24 10:49 4.7K 
[   ]t2.ver1.in1990-03-24 10:49 3.6K 
[   ]t2.ver1.out1990-03-24 10:49 3.6K 
[   ]t3.desc1990-03-24 10:49 913  
[   ]t3.ver1.clauses1990-03-24 10:49 3.5K 
[   ]t3.ver1.in1990-03-24 10:49 3.8K 
[   ]t3.ver1.out1990-03-24 10:49 3.5K 
[   ]t4.desc1990-03-24 10:49 864  
[   ]t4.ver1.clauses1990-03-24 10:49 5.3K 
[   ]t4.ver1.in1990-03-24 10:49 6.0K 
[   ]t4.ver1.out1990-03-24 10:49 5.3K 
[   ]t5.desc1990-03-24 10:49 921  
[   ]t5.ver1.clauses1990-03-24 10:49 5.3K 
[   ]t5.ver1.in1990-03-24 10:49 6.1K 
[   ]t5.ver1.out1990-03-24 10:49 5.3K 
[   ]t6.desc1990-03-24 10:49 1.0K 
[   ]t6.ver1.clauses1990-03-24 10:49 5.0K 
[   ]t6.ver1.in1990-03-24 10:49 3.9K 
[   ]t6.ver1.out1990-03-24 10:49 4.3K 
[   ]t7.desc1990-03-24 10:49 1.0K 
[   ]t7.ver1.clauses1990-03-24 10:49 3.7K 
[   ]t7.ver1.in1990-03-24 10:49 4.1K 
[   ]t7.ver1.out1990-03-24 10:49 3.9K 
[   ]t8.desc1990-03-24 10:49 1.0K 
[   ]t8.ver1.clauses1990-03-24 10:49 5.0K 
[   ]t8.ver1.in1990-03-24 10:49 4.2K 
[   ]t8.ver1.out1990-03-24 10:49 5.4K 
[   ]t9.desc1990-03-24 10:49 950  
[   ]t9.ver1.clauses1990-03-24 10:49 5.7K 
[   ]t9.ver1.in1990-03-24 10:49 6.6K 
[   ]t9.ver1.out1990-03-24 10:49 4.6K 
[   ]t10.desc1990-03-24 10:49 1.0K 
[   ]t10.ver1.clauses1990-03-24 10:49 5.1K 
[   ]t10.ver1.in1990-03-24 10:49 4.4K 
[   ]t10.ver1.out1990-03-24 10:49 5.1K 
[   ]t11.desc1990-03-24 10:49 1.0K 
[   ]t11.ver1.clauses1990-03-24 10:49 4.9K 
[   ]t11.ver1.in1990-03-24 10:49 4.3K 
[   ]t11.ver1.out1990-03-24 10:49 3.9K 
[   ]t11.ver2.clauses1990-03-24 10:49 3.5K 
[   ]t11.ver2.in1990-03-24 10:49 4.0K 
[   ]t11.ver2.out1990-03-24 10:49 2.9K 
[   ]t11.ver3.clauses1990-03-24 10:49 3.4K 
[   ]t11.ver3.in1990-03-24 10:49 4.0K 
[   ]t11.ver3.out1990-03-24 10:49 2.9K 
[   ]t12.desc1990-03-24 10:49 1.0K 
[   ]t12.ver1.clauses1990-03-24 10:49 5.5K 
[   ]t12.ver1.in1990-03-24 10:49 6.2K 
[   ]t12.ver1.out1990-03-24 10:49 3.6K 
[   ]t13.desc1990-03-24 10:49 1.0K 
[   ]t13.ver1.clauses1990-03-24 10:49 5.6K 
[   ]t13.ver1.in1990-03-24 10:49 6.1K 
[   ]t13.ver1.out1990-03-24 10:49 5.0K