Index of /SATURATE/examples/tests/ChurchRosser/hg

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 defaults                               2004-03-07 19:59  290   
 hg/                                    2004-03-07 21:54    -   
 int                                    2004-03-07 19:59  232   
 int_lemmas                             2004-03-07 19:59   16   
 ls-lR                                  2007-03-29 09:53  739   
 ls-lR.gz                               2007-03-29 09:53  219   
 subst                                  2004-03-07 19:59  410   
 subst_lemma1                           2004-03-07 19:59  7.0K  
 subst_lemma2                           2004-03-07 19:59  589   
 subst_lemmas                           2004-03-07 19:59  446