Index of /LNF/i386/5.11/LNFtwelf/reloc/share/doc/twelf/examples/mini-ml

 Name                                                    Last modified      Size  Description
 Parent Directory                                                             -   
 sources1.cfg                                            2001-03-01 17:55   97   
 sources.cfg                                             2003-08-25 18:55  147   
 test.cfg                                                2001-03-07 13:53  154   
 examples1.quy                                           2001-02-20 17:18  160   
 tp.elf                                                  2001-02-16 04:25  213   
 reduce.thm                                              2001-03-07 13:53  222   
 tp-preserve.thm                                         2006-03-08 11:53  304   
 val-sound.thm                                           2001-03-07 13:53  323   
 value.elf                                               2003-08-25 18:55  350   
 mini-ml.elf                                             2004-06-23 22:50  422   
 README                                                  2001-03-01 17:55  656   
 val-sound.elf                                           2005-03-13 16:44  919   
 eval2.elf                                               2001-02-16 04:25  959   
 eval.elf                                                2004-06-23 22:50  1.0K  
 tpinf.elf                                               2001-06-04 15:27  1.0K  
 examples.quy                                            2001-03-03 19:10  1.1K  
 reduce.elf                                              2003-08-25 18:55  1.3K  
 eval1.elf                                               2001-02-16 04:25  1.3K  
 tp-preserve.elf                                         2005-03-13 16:44  1.4K  
 closed.elf                                              2005-03-13 16:44  2.1K