Index of /alumni/bringert/darcs/Folkung/Problems

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]bugequinox.tptp 2007-11-30 19:13 1.0K 
[   ]casc2006 2007-11-30 19:13 5.3K 
[   ]clausifytest1.tptp 2007-11-30 19:13 611  
[   ]diff.tptp 2007-11-30 19:13 3.3K 
[   ]fault_1_1.tptp 2007-11-30 19:13 285  
[   ]fault_1_2.tptp 2007-11-30 19:13 394  
[   ]fault_2_1.tptp 2007-11-30 19:13 669  
[   ]fault_2_2.tptp 2007-11-30 19:13 965  
[   ]fault_2_3.tptp 2007-11-30 19:13 1.3K 
[   ]fault_3_3.tptp 2007-11-30 19:13 2.5K 
[   ]fault_4_3.tptp 2007-11-30 19:13 4.3K 
[   ]fault_5_3.tptp 2007-11-30 19:13 6.7K 
[   ]fault_5_4.tptp 2007-11-30 19:13 8.8K 
[   ]fault_6_4.tptp 2007-11-30 19:13 13K 
[   ]fault_7_4.tptp 2007-11-30 19:13 18K 
[   ]fault_7_5.tptp 2007-11-30 19:13 23K 
[   ]incomplete1.tptp 2007-11-30 19:13 91  
[   ]incomplete2.tptp 2007-11-30 19:13 121  
[   ]incomplete3.tptp 2007-11-30 19:13 152  
[   ]incomplete4.tptp 2007-11-30 19:13 189  
[   ]incomplete5.tptp 2007-11-30 19:13 224  
[   ]monad.tptp 2007-11-30 19:13 862  
[   ]union.tptp 2007-11-30 19:13 541