.: total 533 -rw-r--r-- 1 hg ganzinge 230 Mar 26 2002 beta -rw-r--r-- 1 hg ganzinge 202 Mar 26 2002 cd -rw-r--r-- 1 hg ganzinge 57742 Nov 27 2002 comma -rw-r--r-- 1 hg ganzinge 4626 Mar 26 2002 commb -rw-r--r-- 1 hg ganzinge 120 Mar 26 2002 comm_lemma -rw-r--r-- 1 hg ganzinge 57 Mar 26 2002 comp_th -rw-r--r-- 1 hg ganzinge 28888 Sep 13 2002 cr-lemmas.html -rw-r--r-- 1 hg ganzinge 290 Mar 26 2002 defaults -rw-r--r-- 1 hg ganzinge 121 Mar 26 2002 diamond_pbeta -rw-r--r-- 1 hg ganzinge 357 Nov 27 2002 eta -rw-r--r-- 1 hg ganzinge 4295 Mar 8 2004 eta.n -rw-r--r-- 1 hg ganzinge 110 Jun 28 2002 etas drwxr-xr-x 3 hg ganzinge 512 Jul 6 2006 hg -rw-r--r-- 1 hg ganzinge 357 Mar 7 2004 int -rw-r--r-- 1 hg ganzinge 7527 Mar 8 2004 int.n -rw-rw-r-- 1 hg ganzinge 294 Mar 28 2002 int2 -rw-r--r-- 1 hg ganzinge 106 Feb 12 2004 int_lemmas -rw-r--r-- 1 hg ganzinge 122 Mar 26 2002 lemmaB1 -rw-r--r-- 1 hg ganzinge 132 Mar 26 2002 lemmaB2 -rw-r--r-- 1 hg ganzinge 170 Mar 26 2002 lemmaB3a -rw-r--r-- 1 hg ganzinge 90 Mar 26 2002 lemmaB3b -rw-r--r-- 1 hg ganzinge 80 Mar 26 2002 lemmaE1 -rw-r--r-- 1 hg ganzinge 88 Mar 26 2002 lemmaE2 -rw-r--r-- 1 hg ganzinge 166 Mar 26 2002 lemmaE3a -rw-r--r-- 1 hg ganzinge 86 Mar 26 2002 lemmaE3b -rw-r--r-- 1 hg ganzinge 119 Mar 26 2002 lemmaE6 -rw-r--r-- 1 hg ganzinge 128 Mar 26 2002 lemmaE7 -rw-r--r-- 1 hg ganzinge 127 Mar 26 2002 lemmaE8 -rw-r--r-- 1 hg ganzinge 172 Mar 27 2002 lemmaF2 -rw-r--r-- 1 hg ganzinge 206 Mar 26 2002 lemmaF3 -rw-r--r-- 1 hg ganzinge 84 Mar 26 2002 lemmaP1 -rw-r--r-- 1 hg ganzinge 132 Mar 26 2002 lemmaP2 -rw-rw-r-- 1 ftpadmin ftpadmin 5333 Mar 29 09:46 ls-lR -rw-rw-r-- 1 ftpadmin ftpadmin 815 Mar 29 09:46 ls-lR.gz -rw-r--r-- 1 hg ganzinge 329 Feb 12 2004 nat -rw-r--r-- 1 hg ganzinge 9110 Mar 8 2004 nat.n -rw-r--r-- 1 hg ganzinge 294 Sep 13 2002 pbeta -rw-r--r-- 1 hg ganzinge 15386 Jun 28 2002 pr_comp -rw-r--r-- 1 hg ganzinge 20258 Nov 27 2002 pr_dia -rw-r--r-- 1 hg ganzinge 1590 Jun 28 2002 pr_diamond_pbeta -rw-r--r-- 1 hg ganzinge 11433 Mar 26 2002 pr_lemmaB1 -rw-r--r-- 1 hg ganzinge 8744 Mar 26 2002 pr_lemmaB2 -rw-r--r-- 1 hg ganzinge 3842 Sep 13 2002 pr_lemmaB3a -rw-r--r-- 1 hg ganzinge 5014 Sep 13 2002 pr_lemmaB3b -rw-r--r-- 1 hg ganzinge 2624 Mar 26 2002 pr_lemmaBP -rw-r--r-- 1 hg ganzinge 15280 Sep 13 2002 pr_lemmaE1 -rw-r--r-- 1 hg ganzinge 12778 Sep 13 2002 pr_lemmaE2 -rw-r--r-- 1 hg ganzinge 3769 Sep 13 2002 pr_lemmaE3a -rw-r--r-- 1 hg ganzinge 4997 Sep 13 2002 pr_lemmaE3b -rw-r--r-- 1 hg ganzinge 10528 Mar 26 2002 pr_lemmaE6 -rw-r--r-- 1 hg ganzinge 9145 Jun 28 2002 pr_lemmaE7 -rw-r--r-- 1 hg ganzinge 69088 Oct 17 2002 pr_lemmaE8 -rw-r--r-- 1 hg ganzinge 7532 Sep 13 2002 pr_lemmaF1 -rw-r--r-- 1 hg ganzinge 28212 Mar 7 2004 pr_lemmaF2 -rw-r--r-- 1 hg ganzinge 40879 Feb 12 2004 pr_lemmaF3 -rw-r--r-- 1 hg ganzinge 10210 Sep 13 2002 pr_lemmaP1 -rw-r--r-- 1 hg ganzinge 18712 Sep 13 2002 pr_lemmaP2 -rw-r--r-- 1 hg ganzinge 5599 Sep 13 2002 pr_lemmaPBS -rw-r--r-- 1 hg ganzinge 7092 Sep 13 2002 pr_subst_lemma1 -rw-r--r-- 1 hg ganzinge 12533 Sep 13 2002 pr_subst_lemma2 -rw-r--r-- 1 hg ganzinge 8276 Sep 13 2002 pr_subst_lemma3 -rw-r--r-- 1 hg ganzinge 3681 Sep 13 2002 pr_subst_lemma4 -rw-r--r-- 1 hg ganzinge 16566 Sep 13 2002 pr_subst_lemma5 -rw-r--r-- 1 hg ganzinge 6151 Sep 13 2002 pr_subst_lemma6 -rw-r--r-- 1 hg ganzinge 531 Feb 12 2004 subst -rw-r--r-- 1 hg ganzinge 16445 Mar 8 2004 subst.n -rw-r--r-- 1 hg ganzinge 767 Mar 26 2002 subst_lemmas -rw-r--r-- 1 hg ganzinge 74 Mar 27 2002 test ./hg: total 16 -rw-r--r-- 1 hg ganzinge 290 Mar 26 2002 defaults drwxr-xr-x 2 hg ganzinge 512 Jul 6 2006 hg -rw-r--r-- 1 hg ganzinge 232 Mar 26 2002 int -rw-r--r-- 1 hg ganzinge 16 Mar 26 2002 int_lemmas -rw-rw-r-- 1 ftpadmin ftpadmin 866 Mar 29 09:46 ls-lR -rw-rw-r-- 1 ftpadmin ftpadmin 236 Mar 29 09:46 ls-lR.gz -rw-r--r-- 1 hg ganzinge 410 Mar 26 2002 subst -rw-r--r-- 1 hg ganzinge 7158 Mar 26 2002 subst_lemma1 -rw-r--r-- 1 hg ganzinge 589 Mar 26 2002 subst_lemma2 -rw-r--r-- 1 hg ganzinge 446 Mar 26 2002 subst_lemmas ./hg/hg: total 3 -rw-r--r-- 1 hg ganzinge 290 Mar 26 2002 defaults -rw-rw-r-- 1 ftpadmin ftpadmin 203 Mar 29 09:46 ls-lR -rw-rw-r-- 1 ftpadmin ftpadmin 132 Mar 29 09:46 ls-lR.gz