Index of /~softadm/boolesat/windows

Icon  Name                                  Last modified      Size  Description
[PARENTDIR] Parent Directory                                           -   
[   ] README                                2014-03-14 20:53  521   
[   ] cyggcc_s-seh-1.dll                    2014-03-14 20:53   67K  
[   ] cygstdc++-6.dll                       2014-03-14 20:53  892K  
[   ] cygwin1.dll                           2014-03-14 20:53  3.0M  
[   ] logic2cnf.exe                         2014-03-14 20:53  570K  
[   ] mizar-8.1.02_5.22.1191-i386-win32.exe 2014-03-15 00:46   30M  
[   ] mizsys.zip                            2014-03-15 01:58  4.1M