Index of /propositional-classes/_darcs/patches

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]0000001207-3db5f77de97557d293c987070f6e0bb2eda6f113d506984509bd8fec929946de2011-09-26 17:34 379  
[   ]0000004406-8b12919b5759a2fffebc79cd7fbd028940a59c744c4a446946de2fddfe2c6d752011-09-26 17:34 1.1K 
[   ]0000022561-a3247bcd35f46fcdef67bf4a896d2410f865605f1f004406bac6ca9625e5ad4d2011-09-26 16:20 6.1K 
[   ]pending2011-09-26 17:34 4  
[   ]pending.tentative2011-09-26 17:34 4  

Apache/2.4.18 (Ubuntu) Server at src.seereason.com Port 80