.:
total 416
-rw-r--r--    1 hg       ganzinge      230 Aug  3  1999 beta
-rw-r--r--    1 hg       ganzinge      202 Aug  3  1999 cd
-rw-r--r--    1 hg       ganzinge    30029 Aug  3  1999 comma
-rw-r--r--    1 hg       ganzinge     4626 Aug  3  1999 commb
-rw-r--r--    1 hg       ganzinge      120 Aug  3  1999 comm_lemma
-rw-r--r--    1 hg       ganzinge       57 Aug  3  1999 comp_th
-rw-r--r--    1 hg       ganzinge    28349 Aug  3  1999 cr-lemmas.html
-rw-r--r--    1 hg       ganzinge      290 May 22  2002 defaults
-rw-r--r--    1 hg       ganzinge      121 Aug  3  1999 diamond_pbeta
-rw-r--r--    1 hg       ganzinge      325 May 22  2002 eta
-rw-r--r--    1 hg       ganzinge      138 Jun 28  2002 etas
-rw-r--r--    1 hg       ganzinge      213 Aug  3  1999 int
-rw-r--r--    1 hg       ganzinge       56 Aug  3  1999 int_lemmas
-rw-r--r--    1 hg       ganzinge      122 Aug  3  1999 lemmaB1
-rw-r--r--    1 hg       ganzinge      132 Aug  3  1999 lemmaB2
-rw-r--r--    1 hg       ganzinge      170 Aug  3  1999 lemmaB3a
-rw-r--r--    1 hg       ganzinge       90 Aug  3  1999 lemmaB3b
-rw-r--r--    1 hg       ganzinge       80 Aug  3  1999 lemmaE1
-rw-r--r--    1 hg       ganzinge       88 Aug  3  1999 lemmaE2
-rw-r--r--    1 hg       ganzinge      166 Aug  3  1999 lemmaE3a
-rw-r--r--    1 hg       ganzinge       86 Aug  3  1999 lemmaE3b
-rw-r--r--    1 hg       ganzinge      119 Aug  3  1999 lemmaE6
-rw-r--r--    1 hg       ganzinge      128 Aug  3  1999 lemmaE7
-rw-r--r--    1 hg       ganzinge      127 Aug  3  1999 lemmaE8
-rw-r--r--    1 hg       ganzinge      172 Aug  3  1999 lemmaF2
-rw-r--r--    1 hg       ganzinge      206 Aug  3  1999 lemmaF3
-rw-r--r--    1 hg       ganzinge       84 Aug  3  1999 lemmaP1
-rw-r--r--    1 hg       ganzinge      132 Aug  3  1999 lemmaP2
-rw-rw-r--    1 ftpadmin ftpadmin     3969 Mar 29 09:46 ls-lR
-rw-rw-r--    1 ftpadmin ftpadmin      602 Mar 29 09:46 ls-lR.gz
-rw-r--r--    1 hg       ganzinge      207 Aug  3  1999 pbeta
-rw-r--r--    1 hg       ganzinge    15386 Aug  3  1999 pr_comp
-rw-r--r--    1 hg       ganzinge    20266 Aug  3  1999 pr_dia
-rw-r--r--    1 hg       ganzinge     1590 Aug  3  1999 pr_diamond_pbeta
-rw-r--r--    1 hg       ganzinge    11433 Aug  3  1999 pr_lemmaB1
-rw-r--r--    1 hg       ganzinge     8744 Aug  3  1999 pr_lemmaB2
-rw-r--r--    1 hg       ganzinge     3842 Aug  3  1999 pr_lemmaB3a
-rw-r--r--    1 hg       ganzinge     5014 Aug  3  1999 pr_lemmaB3b
-rw-r--r--    1 hg       ganzinge     2624 Aug  3  1999 pr_lemmaBP
-rw-r--r--    1 hg       ganzinge    15278 Aug  3  1999 pr_lemmaE1
-rw-r--r--    1 hg       ganzinge    12756 Aug  3  1999 pr_lemmaE2
-rw-r--r--    1 hg       ganzinge     3809 Jun 28  2002 pr_lemmaE3a
-rw-r--r--    1 hg       ganzinge     4980 Jun 28  2002 pr_lemmaE3b
-rw-r--r--    1 hg       ganzinge    10528 Aug  3  1999 pr_lemmaE6
-rw-r--r--    1 hg       ganzinge     9217 Jun 28  2002 pr_lemmaE7
-rw-r--r--    1 hg       ganzinge    23218 Jun 28  2002 pr_lemmaE8
-rw-r--r--    1 hg       ganzinge     7531 Aug  3  1999 pr_lemmaF1
-rw-r--r--    1 hg       ganzinge    27949 Aug  3  1999 pr_lemmaF2
-rw-r--r--    1 hg       ganzinge    40522 Aug  3  1999 pr_lemmaF3
-rw-r--r--    1 hg       ganzinge    10209 Aug  3  1999 pr_lemmaP1
-rw-r--r--    1 hg       ganzinge    18712 Aug  3  1999 pr_lemmaP2
-rw-r--r--    1 hg       ganzinge     5599 Aug  3  1999 pr_lemmaPBS
-rw-r--r--    1 hg       ganzinge     7091 Aug  3  1999 pr_subst_lemma1
-rw-r--r--    1 hg       ganzinge    12534 Aug  3  1999 pr_subst_lemma2
-rw-r--r--    1 hg       ganzinge     8275 Aug  3  1999 pr_subst_lemma3
-rw-r--r--    1 hg       ganzinge     3672 Aug  3  1999 pr_subst_lemma4
-rw-r--r--    1 hg       ganzinge    16566 Aug  3  1999 pr_subst_lemma5
-rw-r--r--    1 hg       ganzinge     6157 Aug  3  1999 pr_subst_lemma6
-rw-r--r--    1 hg       ganzinge      586 May 22  2002 subst
-rw-r--r--    1 hg       ganzinge      767 Aug  3  1999 subst_lemmas