Index of /LNF/i386/5.11/LNFtwelf/reloc/share/doc/twelf/examples/cut-elim

Icon  Name                                                    Last modified      Size  Description
[PARENTDIR] Parent Directory                                                             -   
[DIR] cover/                                                  2015-11-26 21:33    -   
[TXT] README                                                  2001-08-09 04:07  1.3K  
[   ] cl-admit.elf                                            2001-12-28 16:22  6.8K  
[   ] cl-cut.elf                                              1998-09-06 00:59  1.1K  
[   ] cl-elim.elf                                             2001-12-28 16:22  1.8K  
[   ] cl.elf                                                  1998-09-06 00:59  1.1K  
[   ] cl.thm                                                  1998-09-06 00:59   99   
[   ] examples.quy                                            2001-05-30 19:49  2.4K  
[   ] formulas.elf                                            1998-09-06 00:59  508   
[   ] int-admit.elf                                           2003-08-25 18:55  4.7K  
[   ] int-cut.elf                                             2001-12-28 16:22  1.1K  
[   ] int-elim.elf                                            2001-12-28 16:22  1.6K  
[   ] int.elf                                                 1998-09-06 00:59  1.0K  
[   ] int.thm                                                 1998-09-06 00:59   97   
[   ] sources.cfg                                             2001-08-09 04:07  116   
[   ] test.cfg                                                1998-09-06 00:59  131
Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80