Index of /SATURATE/examples/ChurchRosser/hg

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 defaults                         2002-03-26 07:46  290   
 hg/                              2006-07-06 13:57    -   
 int                              2002-03-26 07:46  232   
 int_lemmas                       2002-03-26 07:46   16   
 ls-lR                            2007-03-29 09:53  866   
 ls-lR.gz                         2007-03-29 09:53  236   
 subst                            2002-03-26 07:46  410   
 subst_lemma1                     2002-03-26 07:46  7.0K  
 subst_lemma2                     2002-03-26 07:46  589   
 subst_lemmas                     2002-03-26 07:46  446