.:
total 66
-rw-r--r--    1 hg       ganzinge      290 Jan 31  1996 defaults
-rw-r--r--    1 hg       ganzinge      213 Dec  7  1998 int
-rw-r--r--    1 hg       ganzinge       55 Oct 27  1998 int_lemmas
-rw-rw-r--    1 ftpadmin ftpadmin      958 Mar 29 09:46 ls-lR
-rw-rw-r--    1 ftpadmin ftpadmin      278 Mar 29 09:46 ls-lR.gz
-rw-r--r--    1 hg       ganzinge      509 Apr 13  1999 pr_eta2
-rw-r--r--    1 hg       ganzinge     7092 Feb  9  2001 pr_subst_lemma1
-rw-r--r--    1 hg       ganzinge    12534 Dec  7  1998 pr_subst_lemma2
-rw-r--r--    1 hg       ganzinge     8275 Oct 28  1998 pr_subst_lemma3
-rw-r--r--    1 hg       ganzinge     3672 Dec  7  1998 pr_subst_lemma4
-rw-r--r--    1 hg       ganzinge    16566 Dec  7  1998 pr_subst_lemma5
-rw-r--r--    1 hg       ganzinge     6157 Oct 28  1998 pr_subst_lemma6
-rw-r--r--    1 hg       ganzinge      411 Dec 11  1998 subst
-rw-r--r--    1 hg       ganzinge     1556 Dec  7  1998 subst_lemmas