Index of /LNF/i386/5.11/LNFtwelf/reloc/share/doc/twelf/examples/prop-calc

 Name                                                    Last modified      Size  Description
 Parent Directory                                                             -   
 README                                                  1998-09-06 00:59  176   
 equiv.elf                                               2006-03-08 11:53  2.3K  
 equiv.thm                                               1999-06-04 17:50  444   
 examples.quy                                            1998-09-06 00:59  591   
 nd.elf                                                  2004-06-16 04:19  419   
 nd.tex                                                  2004-06-16 04:19    0   
 ndclass.elf                                             2004-06-16 04:19  434   
 prop-calc-solution.elf                                  2004-06-16 04:19  1.4K  
 prop-calc.elf                                           2004-07-15 17:29  1.1K  
 sources.cfg                                             2004-07-15 17:29   24   
 test.cfg                                                2005-03-08 19:47   90   
 thm1.elf                                                2004-06-16 04:19  362   
 thm2.elf                                                2004-06-16 04:19  761   
 thm3.elf                                                2004-06-16 04:19  612
Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80