Index of /LNF/i386/5.11/LNFhol-light/reloc/share/hol-light/Proofrecording/tools

Icon  Name                                                              Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                       -   
[DIR] src/                                                              2015-12-10 05:42    -   
[   ] Makefile                                                          2015-12-10 05:38  2.7K  
[   ] detecteq.jar                                                      2015-11-01 21:21  7.3K  Java Archive
[TXT] detecteq_readme.txt                                               2015-11-01 21:21  3.3K  
[   ] init.ml                                                           2015-11-01 21:21  495   
[   ] nametheorems.jar                                                  2015-11-01 21:21  2.4K  Java Archive
[TXT] startcore.ml                                                      2015-11-01 21:21  233
Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80