ftp.ntua.gr:/mirror/CTAN/macros/latex2e/contrib/temporal-logic/?C=N&O=D 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[TXT] temporal-logic.ins                               17-Oct-2024 15:16  1.5K  
[TXT] temporal-logic.dtx                               17-Oct-2024 15:16   20K  
[   ] temporal-logic-doc.pdf                           17-Oct-2024 15:16  525K  
[TXT] README.md                                        17-Oct-2024 15:16  1.2K
Apache/2.2 Server at ftp.ntua.gr Port 80