Index of /funtoo/sci-mathematics/twelf/files

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 50twelf-gentoo.el       16-Jun-2016 18:18  104   
 twelf-1.7.1-Makefile..> 16-Jun-2016 18:18  1.3K  
 twelf-1.7.1-doc-guid..> 16-Jun-2016 18:18  498   
 twelf-1.7.1-doc-guid..> 16-Jun-2016 18:18  386   
 twelf-1.7.1-emacs-tw..> 16-Jun-2016 18:18  813   
 twelf-1.7.1-emacs-tw..> 16-Jun-2016 18:18  602   
 twelf-1.7.1-mlton-ml..> 16-Jun-2016 18:18   11K