Index of /SATURATE/examples/explicit_substitutions

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 defaults                1996-01-31 20:03  290   
 int                     1998-12-07 14:32  213   
 int_lemmas              1998-10-27 22:24   55   
 ls-lR                   2007-03-29 09:53  958   
 ls-lR.gz                2007-03-29 09:53  278   
 pr_eta2                 1999-04-13 12:19  509   
 pr_subst_lemma1         2001-02-09 14:39  6.9K  
 pr_subst_lemma2         1998-12-07 14:40   12K  
 pr_subst_lemma3         1998-10-28 20:03  8.1K  
 pr_subst_lemma4         1998-12-07 15:17  3.6K  
 pr_subst_lemma5         1998-12-07 15:22   16K  
 pr_subst_lemma6         1998-10-28 14:41  6.0K  
 subst                   1998-12-11 10:04  411   
 subst_lemmas            1998-12-07 15:11  1.5K