Index of /~artur/transitivity

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[TXT] th2trans.txt            2016-03-18 15:01   13K  
[TXT] references.txt          2016-03-18 17:54  691   
[   ] MIZAR-TR.zip            2016-03-19 20:31  9.8M  
[   ] INSTRUCTION             2016-03-19 20:31  265