Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Index of /~piotr/Mizar/FLT_DB/2000
[go: Go Back, main page]

Index of /~piotr/Mizar/FLT_DB/2000

      Name                    Last modified       Size  Description


[DIR] Parent Directory        05-Apr-2002 07:43      -  
[   ] flt_db0a.miz            30-Aug-2000 16:05     7k  
[   ] flt_db1a.miz            30-Aug-2000 16:05     5k  
[   ] flt_db_0.miz            30-Aug-2000 16:05    22k  
[   ] flt_db_1.miz            30-Aug-2000 16:05    12k  
[   ] flt_db_2.abs            30-Aug-2000 16:05     5k  
[   ] flt_db_2.miz            30-Aug-2000 16:05    13k  
[   ] mspf_1.abs              30-Aug-2000 16:05     3k  
[   ] mspf_1.miz              30-Aug-2000 16:05     8k
Apache/1.3.31 Ben-SSL/1.53 Server at www.cs.ualberta.ca Port 80