ftp.ntua.gr:/mirror/CTAN/macros/latex/contrib/bussproofs/?C=N&O=D 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[   ] testbp2.tex                                      03-Jun-2011 18:16  8.7K  
[   ] testbp2.pdf                                      20-Aug-2012 16:22   43K  
[TXT] bussproofs.sty                                   20-Aug-2012 16:03   39K  
[TXT] README.txt                                       20-Aug-2012 16:36  1.0K  
[TXT] README                                           20-Aug-2012 16:36  1.0K  
[   ] BussGuide2.tex                                   20-Aug-2012 16:19   29K  
[   ] BussGuide2.pdf                                   20-Aug-2012 16:20   73K
Apache/2.2 Server at ftp.ntua.gr Port 80