Index of /LNF/i386/5.11/LNFtwelf/reloc/share/doc/twelf/examples/ccc

 Name                                                    Last modified      Size  Description
 Parent Directory                                                             -   
 README                                                  1998-09-06 00:59  892   
 abs-env.elf                                             1998-09-06 00:59  745   
 catlem.elf                                              1998-09-06 00:59  816   
 ccc.elf                                                 1999-06-04 18:27  1.3K  
 conc.elf                                                2005-03-13 16:44  526   
 conc.thm                                                1998-09-06 00:59  337   
 cong.elf                                                1998-09-06 00:59  707   
 eqpres1.elf                                             1998-09-06 00:59  2.6K  
 eqpres2.elf                                             1998-09-06 00:59  2.2K  
 examples.quy                                            1998-09-06 00:59  1.8K  
 inv1.elf                                                1998-09-06 00:59  1.9K  
 inv2.elf                                                1998-09-06 00:59  1.4K  
 lambda.elf                                              1999-06-04 18:27  1.1K  
 pf.dvi                                                  1998-09-06 00:59   33K  
 refl.elf                                                1998-09-06 00:59  894   
 sources.cfg                                             1999-06-04 18:27  135   
 spass.cfg                                               1999-06-04 18:27   10   
 spass.elf                                               1999-03-04 17:02  1.4K  
 spass.sml                                               1999-06-04 18:27  3.4K  
 subext.elf                                              1998-09-06 00:59  3.9K  
 test.cfg                                                1998-09-06 00:59  156