Index of /pub/ATP_problems/logic.problems/morgan

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]morgan.two.ver1.out1990-03-24 10:48 3.1K 
[   ]morgan.two.ver1.in1990-03-24 10:48 1.0K 
[   ]morgan.two.ver1.clauses1990-03-24 10:48 1.0K 
[   ]morgan.two.desc1990-03-24 10:48 917  
[   ]morgan.three.ver2.out1990-03-24 10:48 2.7K 
[   ]morgan.three.ver2.in1990-03-24 10:48 1.1K 
[   ]morgan.three.ver2.clauses1990-03-24 10:48 1.1K 
[   ]morgan.three.ver1.out1990-03-24 10:48 2.7K 
[   ]morgan.three.ver1.in1990-03-24 10:48 1.2K 
[   ]morgan.three.ver1.clauses1990-03-24 10:48 1.1K 
[   ]morgan.three.desc1990-03-24 10:48 1.3K 
[   ]morgan.six.ver1.out1990-03-24 10:48 156  
[   ]morgan.six.ver1.in1990-03-24 10:48 957  
[   ]morgan.six.ver1.clauses1990-03-24 10:48 903  
[   ]morgan.six.desc1990-03-24 10:48 884  
[   ]morgan.one.ver1.out1990-03-24 10:48 2.8K 
[   ]morgan.one.ver1.in1990-03-24 10:48 1.0K 
[   ]morgan.one.ver1.clauses1990-03-24 10:48 915  
[   ]morgan.one.desc1990-03-24 10:48 870  
[   ]morgan.four.ver1.out1990-03-24 10:48 3.1K 
[   ]morgan.four.ver1.in1990-03-24 10:48 1.0K 
[   ]morgan.four.ver1.clauses1990-03-24 10:48 1.0K 
[   ]morgan.four.desc1990-03-24 10:48 924  
[   ]morgan.five.ver2.out1990-03-24 10:48 157  
[   ]morgan.five.ver2.in1990-03-24 10:48 1.0K 
[   ]morgan.five.ver2.clauses1990-03-24 10:48 1.0K 
[   ]morgan.five.ver1.out1990-03-24 10:48 3.0K 
[   ]morgan.five.ver1.in1990-03-24 10:48 1.0K 
[   ]morgan.five.ver1.clauses1990-03-24 10:48 925  
[   ]morgan.five.desc1990-03-24 10:48 1.3K 
[   ]README1990-03-24 10:48 2.5K