Index of /Seminars/MathsInTPTP/TPTP

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[TXT]ALG001-2.p 2014-11-26 09:43 1.8K 
[TXT]ANA002-1.p 2014-11-26 09:43 3.8K 
[TXT]ANA005-3.p 2014-11-26 09:43 2.8K 
[TXT]GRA001-1.p 2014-11-26 09:43 3.6K 
[   ]GRP004+0.ax 2014-11-26 09:43 2.2K 
[   ]GRP004-0.ax 2014-11-26 09:43 2.3K 
[   ]GRP039-1.p 2014-11-26 09:43 3.8K 
[TXT]GRP039-1.p.h 2014-11-26 09:43 1.4K 
[   ]GRP039-1.p.p 2014-11-26 09:43 1.4K 
[   ]GRP049-1.p 2014-11-26 09:43 2.1K 
[TXT]GRP128-2.006.p 2014-11-26 09:43 5.8K 
[TXT]GRP194+1.p 2014-11-26 09:43 2.7K 
[TXT]GRP194+1.p.h 2014-11-26 09:43 1.4K 
[   ]GRP194+1.p.p 2014-11-26 09:43 1.4K 
[   ]LAT005-3.p 2014-11-26 09:43 2.2K 
[TXT]RNG028-1.p 2014-11-26 09:43 1.4K 
[   ]SET055+1.p 2014-11-26 09:43 1.5K