Index of /LNF/i386/5.11/LNFtwelf/reloc/share/doc/twelf/examples/church-rosser

 Name                                                    Last modified      Size  Description
 Parent Directory                                                             -   
 simplified/                                             2015-11-26 21:33    -   
 README                                                  1998-09-06 00:59  726   
 church-rosser.thm                                       1999-06-04 18:27  1.5K  
 cr.thm                                                  1998-09-06 00:59  821   
 equiv.elf                                               2003-08-25 18:55  3.7K  
 examples.quy                                            2001-09-12 20:37  1.1K  
 lam.elf                                                 2001-12-28 16:22  143   
 ord-cr.elf                                              2001-12-28 16:22  485   
 ord-lemmas.elf                                          2001-12-28 16:22  2.0K  
 ord-red.elf                                             2001-12-28 16:22  953   
 par-cr.elf                                              2001-12-28 16:22  5.2K  
 par-lemmas.elf                                          2001-12-28 16:22  941   
 par-red.elf                                             2001-11-07 23:44  1.0K  
 sources.cfg                                             1998-09-06 00:59   94   
 test-unsafe.cfg                                         1999-04-21 15:50  135   
 test.cfg                                                1999-01-26 13:19  108   
 test.tag                                                1998-09-06 00:59  1.6K