.: total 353 -rw-r--r-- 1 hg ganzinge 254 Feb 20 1996 ac -rw-r--r-- 1 hg ganzinge 317 Feb 20 1996 aci -rw-rw-r-- 1 hg ganzinge 71 Jan 22 2002 ag -rw-r--r-- 1 hg ganzinge 3172 Mar 8 2004 ag.n -rw-r--r-- 1 hg ganzinge 91 Oct 7 1996 ag.p.ord -rw-r--r-- 1 hg ganzinge 3810 May 15 2003 Agatha.dfg -rw-r--r-- 1 hg ganzinge 79 May 15 2003 Agatha.ord -rw-r--r-- 1 hg ganzinge 96 Sep 30 2003 agp -rw-r--r-- 1 hg ganzinge 3162 Mar 8 2004 agp.n drwxrwxr-x 2 hg ganzinge 512 Jul 6 2006 ALC -rw-r--r-- 1 hg ganzinge 1935 Nov 9 1998 animals -rw-r--r-- 1 hg ganzinge 448 Feb 21 1996 asg drwxrwxr-x 2 hg ganzinge 1024 Jul 6 2006 bledsoe drwxrwxr-x 2 hg ganzinge 512 Jul 6 2006 builtinTheories drwxr-xr-x 3 hg ganzinge 1536 Jul 6 2006 ChurchRosser drwxrwxr-x 2 hg ganzinge 1536 Jul 6 2006 ChurchRosserOrig -rw-rw-r-- 1 hg ganzinge 2358 Mar 28 1996 concept -rw-rw-r-- 1 hg ganzinge 628 Oct 20 1994 ded -rw-rw-r-- 1 hg ganzinge 297 Dec 13 2003 defaults -rw-rw-r-- 1 hg ganzinge 2884 May 15 1996 ex5 -rw-r--r-- 1 hg ganzinge 39 Sep 30 2003 exp drwxr-xr-x 2 hg ganzinge 512 Jul 6 2006 explicit_substitutions -rw-r--r-- 1 hg ganzinge 285 Sep 27 2001 g -rw-r--r-- 1 hg ganzinge 52 Jan 31 1996 g.ord -rw-rw-r-- 1 hg ganzinge 592 Jan 31 1996 g1 -rw-r--r-- 1 hg ganzinge 502 Oct 7 1996 g2 -rw-rw-r-- 1 hg ganzinge 321 Apr 18 2002 groupTheory -rw-r--r-- 1 hg ganzinge 4303 Nov 10 1998 halteproblem -rw-r--r-- 1 hg ganzinge 5220 Nov 12 1998 halteproblem3 -rw-r--r-- 1 hg ganzinge 1718 Nov 11 1998 halteproblem_hg -rw-r--r-- 1 hg ganzinge 11945 Nov 10 1998 halteproblem_knf drwxrwxr-x 2 hg ganzinge 1536 Jul 6 2006 happy drwxrwxr-x 2 hg ganzinge 1024 Jul 6 2006 hoare -rw-rw-r-- 1 hg ganzinge 790 Nov 27 2001 hres15 -rw-rw-r-- 1 hg ganzinge 215 May 15 1996 hres15c -rw-rw-r-- 1 hg ganzinge 313 Apr 27 1995 ind -rw-rw-r-- 1 hg AG2-Soft 462 May 16 2000 intp drwxr-xr-x 2 hg ganzinge 512 Jul 6 2006 library -rw-r--r-- 1 hg ganzinge 84 Nov 15 1999 lion_uni -rw-r--r-- 1 hg ganzinge 1846 Nov 28 2001 lion_uni1 -rw-r--r-- 1 hg ganzinge 2405 Jun 15 1999 lion_uni2 -rw-r--r-- 1 hg ganzinge 1663 Nov 15 1999 lion_uni_th -rw-r--r-- 1 hg ganzinge 73620 Mar 8 2004 lion_uni_th.n drwxrwxr-x 3 hg ganzinge 1536 Jul 6 2006 LocalTheories -rw-rw-r-- 1 hg ganzinge 605 Apr 29 1994 loveland -rw-rw-r-- 1 ftpadmin ftpadmin 50043 Mar 29 09:46 ls-lR -rw-rw-r-- 1 ftpadmin ftpadmin 7473 Mar 29 09:46 ls-lR.gz drwxrwxr-x 2 hg ganzinge 512 Jul 6 2006 modal-logic -rw-rw-r-- 1 hg ganzinge 276 Apr 27 1995 nat1 -rw-r--r-- 1 hg ganzinge 4566 Oct 25 2002 needham -rw-rw-r-- 1 hg ganzinge 348 Apr 27 1994 oc15 -rw-rw-r-- 1 hg ganzinge 374 Oct 15 1996 or -rw-r--r-- 1 hg ganzinge 628 Mar 16 2004 ovb3.spa -rw-r--r-- 1 hg ganzinge 1745 Mar 16 2004 ovb33 -rw-r--r-- 1 hg ganzinge 1109 Mar 16 2004 ovb333.dfg -rw-r--r-- 1 hg ganzinge 502 Aug 6 1993 overbeek1 -rw-r--r-- 1 hg ganzinge 891 Feb 20 1996 overbeek3 -rw-rw-r-- 1 hg ganzinge 240 Oct 23 1996 overbeek3.ord -rw-r--r-- 1 hg ganzinge 703 Oct 30 1996 pell24 -rw-r--r-- 1 hg ganzinge 924 Nov 9 1998 pell45 -rw-r--r-- 1 hg ganzinge 544 Nov 26 1996 pell53 -rw-r--r-- 1 hg ganzinge 10590 Sep 3 2001 pell53.1 -rw-r--r-- 1 hg ganzinge 27597 Sep 3 2001 pell53.ord -rw-rw-r-- 1 hg ganzinge 177 Sep 4 2001 pell53fo drwxr-xr-x 2 hg ganzinge 512 Jul 6 2006 Pelletier -rw-r--r-- 1 hg ganzinge 1071 Aug 6 1993 pelletier45 -rw-r--r-- 1 hg ganzinge 1011 Aug 6 1993 pelletier46 -rw-r--r-- 1 hg ganzinge 2162 Jan 31 1996 pigs -rw-rw-r-- 1 hg ganzinge 1224 Oct 9 1996 pl5 -rw-rw-r-- 1 hg ganzinge 1333 Mar 10 2004 pl5hg -rw-r--r-- 1 hg ganzinge 2200 Mar 10 2004 pl5hg.dfg -rw-rw-r-- 1 hg ganzinge 758 Aug 30 1995 pl5orig drwxr-xr-x 2 hg ganzinge 512 Jul 6 2006 queues -rw-r--r-- 1 hg ganzinge 220 Oct 7 1996 ring -rw-r--r-- 1 hg ganzinge 1686 Mar 30 2004 set -rw-r--r-- 1 hg ganzinge 18117 Mar 30 2004 set.ord -rw-rw-r-- 1 hg ganzinge 2235 Feb 2 2001 setp -rw-rw-r-- 1 hg ganzinge 205 Feb 2 2001 setp.ord -rw-r--r-- 1 hg ganzinge 6692 Nov 14 2002 sheffer3 -rw-r--r-- 1 hg ganzinge 2379 May 15 2003 sr -rw-r--r-- 1 hg ganzinge 3234 Jan 20 2003 tarski -rw-r--r-- 1 hg ganzinge 3462 Aug 27 2002 tarski2 -rw-r--r-- 1 hg ganzinge 55 Jul 17 1998 test drwxrwxrwx 6 hg ganzinge 2560 Jul 6 2006 tests -rw-r--r-- 1 hg ganzinge 429 Nov 14 1995 to -rw-rw-r-- 1 hg ganzinge 264 Nov 8 1995 to.ord -rw-rw-r-- 1 hg ganzinge 200 Nov 9 1995 total_ordering -rw-r--r-- 1 hg ganzinge 4712 Mar 8 2004 total_ordering.n -rw-r--r-- 1 hg ganzinge 205 Oct 12 1996 union1 -rw-rw-r-- 1 hg ganzinge 3610 May 17 1996 wos22 -rw-rw-r-- 1 hg ganzinge 1166 May 17 1996 wos22o ./ALC: total 50 -rw-rw-r-- 1 hg ganzinge 16381 Oct 6 1995 alc-4-7-2-2-0.cl.otter -rw-rw-r-- 1 hg ganzinge 31732 Oct 6 1995 alc-4-9-2-2-0.cl.otter -rw-rw-r-- 1 hg ganzinge 320 Oct 6 1995 defaults -rw-rw-r-- 1 ftpadmin ftpadmin 362 Mar 29 09:46 ls-lR -rw-rw-r-- 1 ftpadmin ftpadmin 169 Mar 29 09:46 ls-lR.gz ./bledsoe: total 129 -rw-r--r-- 1 hg ganzinge 4744 Feb 10 2004 ANA002-2+rm_eq_rstfp+ran.dfg -rwx------ 1 hg ganzinge 193 Feb 12 2004 ANA002-2+rm_eq_rstfp+ran.ord -rw-r--r-- 1 hg ganzinge 4384 Jul 21 1998 anaeq.dfg -rw-rw-r-- 1 hg ganzinge 146 Jan 28 1994 bks1 -rw-rw-r-- 1 hg ganzinge 1164 Jun 19 1995 bledsoe16 -rw-rw-r-- 1 hg ganzinge 436 Nov 10 1993 Bledsoe16.otter -rw-rw-r-- 1 hg ganzinge 938 Jan 28 1994 bledsoe16d -rw-rw-r-- 1 hg ganzinge 407 Oct 27 1993 bledsoe7 -rw-rw-r-- 1 hg ganzinge 599 Nov 9 1995 continuity -rw-r--r-- 1 hg ganzinge 12075 Mar 8 2004 continuity.n -rw-rw-r-- 1 hg ganzinge 189 Nov 28 1995 continuity.ord -rw-rw-r-- 1 hg ganzinge 300 Aug 22 2002 defaults -rw-rw-r-- 1 hg ganzinge 3846 Nov 12 1994 diff -rw-rw-r-- 1 hg ganzinge 244 Jul 20 1998 dto -rw-r--r-- 1 hg ganzinge 3088 Mar 8 2004 dto.n -rw-rw-r-- 1 hg ganzinge 580 Jul 12 1994 embalg -rw-r--r-- 1 hg ganzinge 737 Jun 12 2002 ivt -rw-r--r-- 1 hg ganzinge 5360 May 22 2002 ivt.ord -rw-rw-r-- 1 hg ganzinge 7654 Jun 12 2002 ivt1 -rw-r--r-- 1 hg ganzinge 2660 Jul 21 1998 ivt1.dfg -rw-r--r-- 1 hg ganzinge 5313 Jul 21 1998 ivt2 -rw-r--r-- 1 hg ganzinge 2173 Jul 29 2002 ivt2.dfg -rw-rw-r-- 1 hg ganzinge 5897 Jun 12 2002 ivtth -rw-r--r-- 1 hg ganzinge 2999 Jul 21 1998 ivtth.dfg -rw-rw-r-- 1 hg ganzinge 3958 Feb 7 2004 jar1 -rw-rw-r-- 1 hg ganzinge 5154 Jul 21 1998 jar2 -rw-r--r-- 1 hg ganzinge 2705 Jul 21 1998 jar2.dfg -rw-rw-r-- 1 hg AG2-Soft 5476 Jan 4 2000 jar3 -rw-r--r-- 1 hg ganzinge 4029 Oct 23 1996 jar3.ord -rw-rw-r-- 1 hg AG2-Soft 9188 Feb 7 2004 jar4 -rw-r--r-- 1 hg ganzinge 2113 Jul 21 1998 jar4.dfg -rwx------ 1 hg ganzinge 1206 Feb 21 2004 jar41 -rw-rw-r-- 1 hg ganzinge 1243 Mar 9 1994 jar4a -rw-rw-r-- 1 hg ganzinge 970 Oct 24 1996 jar5 -rw-rw-r-- 1 hg ganzinge 754 Oct 2 1995 lemma -rw-rw-r-- 1 ftpadmin ftpadmin 2744 Mar 29 09:46 ls-lR -rw-rw-r-- 1 ftpadmin ftpadmin 638 Mar 29 09:46 ls-lR.gz -rw-rw-r-- 1 hg ganzinge 963 Nov 9 1995 scf -rw-rw-r-- 1 hg ganzinge 548 Jun 17 1999 scf.ord -rw-rw-r-- 1 hg ganzinge 41 Jan 19 1996 test -rw-r--r-- 1 hg ganzinge 130 Feb 7 2004 total_ordering -rw-r--r-- 1 hg ganzinge 1589 Mar 8 2004 total_ordering.n ./builtinTheories: total 23 -rw-rw-r-- 1 hg ganzinge 2895 Jun 4 1996 cong -rw-rw-r-- 1 hg ganzinge 3111 Jun 11 1996 cong_sat -rw-rw-r-- 1 hg ganzinge 290 May 14 1996 defaults -rw-r--r-- 1 hg ganzinge 1556 Nov 25 1996 equivalence -rw-rw-r-- 1 hg ganzinge 2108 May 20 1996 kd45 -rw-rw-r-- 1 ftpadmin ftpadmin 788 Mar 29 09:46 ls-lR -rw-rw-r-- 1 ftpadmin ftpadmin 272 Mar 29 09:46 ls-lR.gz -rw-rw-r-- 1 hg ganzinge 1750 Jul 22 1999 quasiOrder -rw-rw-r-- 1 hg ganzinge 981 Jun 27 1996 quasiOrderSat -rw-rw-r-- 1 hg ganzinge 653 May 20 1996 s4 -rw-rw-r-- 1 hg ganzinge 1086 Jun 4 1996 tot_ord -rw-rw-r-- 1 hg ganzinge 1288 Jul 22 1999 transitivity ./ChurchRosser: 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 ./ChurchRosser/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 ./ChurchRosser/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 ./ChurchRosserOrig: 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 ./explicit_substitutions: 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 ./happy: total 357 -rw-r--r-- 1 hg ganzinge 30915 Nov 30 1995 alc-4-9-2-2-0 -rw-r--r-- 1 hg ganzinge 668 Dec 5 1995 alc-4-9-2-2-0.ord -rw-rw-r-- 1 hg ganzinge 320 Jan 13 1996 alc4-4-1-2-0 -rw-rw-r-- 1 hg ganzinge 15880 Jan 13 1996 alc4-7-2-2-0 -rw-rw-r-- 1 hg ganzinge 4738 Jan 13 1996 alc8-6-2-1-0 -rw-rw-r-- 1 hg ganzinge 630 Jan 13 1996 alc8-8-1-1-0 -rw-rw-r-- 1 hg ganzinge 85026 Dec 19 1995 andrews3 -rw-rw-r-- 1 hg ganzinge 607 Oct 23 1996 andrews3.ord -rw-r--r-- 1 hg ganzinge 33035 Dec 6 1995 andrews3r -rw-r--r-- 1 hg ganzinge 885 Dec 1 1995 ceq -rw-r--r-- 1 hg ganzinge 551 Dec 1 1995 ceq.ord -rw-r--r-- 1 hg ganzinge 41 Dec 1 1995 ceqth2 -rw-rw-r-- 1 hg ganzinge 297 Nov 11 1995 defaults -rw-rw-r-- 1 hg ganzinge 3232 Nov 7 1995 eder24 -rw-rw-r-- 1 hg ganzinge 145 Nov 7 1995 eder25 -rw-rw-r-- 1 hg ganzinge 8609 Jan 13 1996 fib -rw-rw-r-- 1 hg ganzinge 380 Jan 13 1996 fib2 -rw-rw-r-- 1 hg ganzinge 1278 Jan 13 1996 fix -rw-rw-r-- 1 hg ganzinge 10378 Dec 12 1995 halteproblem -rw-rw-r-- 1 hg ganzinge 7013 Dec 13 1995 halteproblem.ord -rw-rw-r-- 1 hg ganzinge 742 Mar 15 1996 hash -rw-rw-r-- 1 hg ganzinge 63 Jan 17 1996 hash.ord -rw-rw-r-- 1 hg ganzinge 1992 Mar 15 1996 hash1 -rw-rw-r-- 1 hg ganzinge 3348 Mar 15 1996 hash12 -rw-rw-r-- 1 hg ganzinge 1696 Mar 15 1996 hash2 -rw-rw-r-- 1 hg ganzinge 2070 Mar 15 1996 hash3 -rw-rw-r-- 1 hg ganzinge 1372 Mar 15 1996 hash_m -rw-rw-r-- 1 hg ganzinge 381 Jan 24 1996 hashth1 -rw-r--r-- 1 hg ganzinge 404 Jan 8 1997 hp -rw-r--r-- 1 hg ganzinge 454 Jan 7 1997 hpdefs -rw-rw-r-- 1 hg ganzinge 1733 Jan 26 1996 index -rw-rw-r-- 1 hg ganzinge 163 Nov 27 1995 lattice -rw-rw-r-- 1 hg ganzinge 182 Jan 26 1996 lattice5 -rw-rw-r-- 1 hg ganzinge 5945 Jan 26 1996 lattice5.ord -rw-rw-r-- 1 hg ganzinge 318 Jan 24 1996 lattice8 -rw-r--r-- 1 hg ganzinge 5648 Nov 27 1995 lattice9 -rw-rw-r-- 1 hg ganzinge 5441 Nov 9 1998 lion_uni -rw-rw-r-- 1 hg ganzinge 149 Dec 12 1995 lion_uni.ord -rw-rw-r-- 1 hg ganzinge 2705 Nov 13 1995 lion_uni4 -rw-rw-r-- 1 hg ganzinge 2948 Nov 13 1995 lion_uni5 -rw-rw-r-- 1 ftpadmin ftpadmin 3904 Mar 29 09:46 ls-lR -rw-rw-r-- 1 ftpadmin ftpadmin 740 Mar 29 09:46 ls-lR.gz -rw-rw-r-- 1 hg ganzinge 61 Nov 14 1995 mod_verband -rw-rw-r-- 1 hg ganzinge 890 Nov 8 1995 pell29 -rw-r--r-- 1 hg ganzinge 11872 Dec 1 1995 prop140-3 -rw-r--r-- 1 hg ganzinge 49848 Dec 1 1995 prop140-3.ord -rw-rw-r-- 1 hg ganzinge 1072 Jan 13 1996 red1 -rw-rw-r-- 1 hg ganzinge 1217 Jan 13 1996 rel1 -rw-rw-r-- 1 hg ganzinge 4826 Jan 13 1996 ritter -rw-rw-r-- 1 hg ganzinge 6403 Oct 8 1996 sr -rw-rw-r-- 1 hg ganzinge 1344 Nov 7 1995 tba1 -rw-rw-r-- 1 hg ganzinge 1508 Nov 7 1995 tba2 -rw-rw-r-- 1 hg ganzinge 182 Nov 7 1995 tba3 -rw-rw-r-- 1 hg ganzinge 102 Jan 17 1996 test -rw-rw-r-- 1 hg ganzinge 190 Nov 13 1995 verband -rw-rw-r-- 1 hg ganzinge 54 Nov 14 1995 verband.ord -rw-rw-r-- 1 hg ganzinge 105 Nov 15 1995 verbandth1 -rw-rw-r-- 1 hg ganzinge 1734 Oct 8 1996 verbandth1.ord -rw-rw-r-- 1 hg ganzinge 180 Nov 27 1995 verbandth2 -rw-rw-r-- 1 hg ganzinge 314 Nov 15 1995 verbandth2.ord ./hoare: total 100 -rw-rw-r-- 1 hg ganzinge 305 Nov 7 1996 defaults -rw-rw-r-- 1 hg ganzinge 4467 Dec 10 1993 find.txt -rw-rw-r-- 1 hg ganzinge 3912 Jan 13 1994 find13 -rw-rw-r-- 1 hg ganzinge 137 Dec 10 1993 find1a -rw-rw-r-- 1 hg ganzinge 180 Dec 10 1993 find1b -rw-rw-r-- 1 hg ganzinge 136 Dec 10 1993 find2a -rw-rw-r-- 1 hg ganzinge 182 Dec 10 1993 find2b -rw-rw-r-- 1 hg ganzinge 6373 Jul 20 1998 find3 -rw-r--r-- 1 hg ganzinge 2009 Jul 21 1998 find3.dfg -rw-rw-r-- 1 hg ganzinge 792 Dec 10 1993 find3a -rw-rw-r-- 1 hg ganzinge 793 Dec 10 1993 find3b -rw-rw-r-- 1 hg ganzinge 183 Mar 28 1995 find8a -rw-rw-r-- 1 hg ganzinge 4083 Jul 20 1998 find8b -rw-r--r-- 1 hg ganzinge 1682 Jul 20 1998 find8b.dfg -rw-rw-r-- 1 hg ganzinge 257 Nov 24 1993 hoare -rw-rw-r-- 1 ftpadmin ftpadmin 1866 Mar 29 09:46 ls-lR -rw-rw-r-- 1 ftpadmin ftpadmin 426 Mar 29 09:46 ls-lR.gz -rw-rw-r-- 1 hg ganzinge 5798 Mar 26 2002 qs -rw-r--r-- 1 hg ganzinge 2439 Jul 21 1998 qs.dfg -rw-r--r-- 1 hg ganzinge 866 Mar 26 2002 qs2 -rw-r--r-- 1 hg ganzinge 20086 Aug 26 2002 qs2.ord -rw-rw-r-- 1 hg ganzinge 2959 Dec 10 1993 qsort.txt -rw-rw-r-- 1 hg ganzinge 9427 Sep 13 2002 qsort2iia -rw-r--r-- 1 hg ganzinge 3540 Jul 21 1998 qsort2iia.dfg -rw-rw-r-- 1 hg ganzinge 8546 Feb 19 2004 qsort2iia.ord -rw-rw-r-- 1 hg ganzinge 1898 Sep 28 1995 qsort2iia1 -rw-rw-r-- 1 hg ganzinge 2226 Oct 2 1995 qsort2iia2 -rw-r--r-- 1 hg ganzinge 100 Sep 24 2002 to -rw-r--r-- 1 hg ganzinge 1589 Mar 8 2004 to.n ./library: total 21 -rw-r--r-- 1 hg ganzinge 96 Feb 21 2004 arrays -rw-r--r-- 1 hg ganzinge 297 Feb 21 2004 defaults -rw-r--r-- 1 hg ganzinge 252 Feb 21 2004 int -rw-r--r-- 1 hg ganzinge 67 Feb 21 2004 int.ord -rw-r--r-- 1 hg ganzinge 264 Feb 21 2004 int_addition -rw-r--r-- 1 hg ganzinge 26 Feb 21 2004 int_addition.ord -rw-r--r-- 1 hg ganzinge 357 Feb 21 2004 int_functions -rw-r--r-- 1 hg ganzinge 30 Feb 21 2004 int_functions.ord -rw-r--r-- 1 hg ganzinge 171 Feb 21 2004 int_induction -rw-r--r-- 1 hg ganzinge 174 Feb 21 2004 int_lemmas -rw-r--r-- 1 hg ganzinge 342 Feb 21 2004 int_multiplication -rw-r--r-- 1 hg ganzinge 25 Feb 21 2004 int_multiplication.ord -rw-r--r-- 1 hg ganzinge 2205 Feb 21 2004 lists -rw-r--r-- 1 hg ganzinge 67 Feb 21 2004 lists.ord -rw-rw-r-- 1 ftpadmin ftpadmin 1224 Mar 29 09:46 ls-lR -rw-rw-r-- 1 ftpadmin ftpadmin 282 Mar 29 09:46 ls-lR.gz -rw-r--r-- 1 hg ganzinge 147 Feb 21 2004 simple_lists -rw-r--r-- 1 hg ganzinge 103 Feb 21 2004 to ./LocalTheories: total 118 -rw-r--r-- 1 hg ganzinge 2884 Oct 15 2000 ac -rw-rw-r-- 1 hg ganzinge 440 Aug 16 2001 ac1 -rw-rw-r-- 1 hg ganzinge 473 Aug 16 2001 acf2g1 -rw-rw-r-- 1 hg ganzinge 870 Sep 15 2003 arrays -rw-rw-r-- 1 hg ganzinge 1327 Nov 4 1996 bool -rw-rw-r-- 1 hg ganzinge 1341 Aug 7 1995 boolst -rw-rw-r-- 1 hg AG2-Soft 645 Mar 20 2000 cfg -rw-rw-rw- 1 hg AG2-Soft 1115 Mar 20 2000 cflr -rw-rw-r-- 1 hg ganzinge 1347 Sep 20 2000 cong -rw-rw-r-- 1 hg ganzinge 972 Apr 29 1996 cong1 -rw-r--r-- 1 hg ganzinge 992 Aug 16 1999 cong1sq -rw-rw-r-- 1 hg ganzinge 1521 May 13 1996 cong2 -rw-rw-r-- 1 hg ganzinge 1282 Apr 30 1996 cong21 -rw-rw-r-- 1 hg ganzinge 835 May 13 1996 cong2c -rw-rw-r-- 1 hg ganzinge 1257 Aug 9 1999 cong3 -rw-rw-r-- 1 hg ganzinge 587 Sep 4 2001 congf2g1 -rw-rw-r-- 1 hg ganzinge 374 Nov 28 1995 congHO -rw-r--r-- 1 hg ganzinge 1252 Nov 28 1995 congHO.ord -rw-rw-r-- 1 hg ganzinge 960 Apr 30 1996 congM -rw-r--r-- 1 hg ganzinge 2019 Aug 10 2000 congpairs -rw-rw-r-- 1 hg AG2-Soft 290 May 12 2000 defaults -rw-rw-r-- 1 hg ganzinge 1349 May 12 1995 emb -rw-rw-r-- 1 hg AG2-Soft 1928 May 16 2000 emb2 -rw-rw-r-- 1 hg ganzinge 1522 Sep 16 2003 eq -rw-rw-r-- 1 hg ganzinge 1378 Jun 10 1996 es -rw-r--r-- 1 hg ganzinge 563 Sep 16 2003 flatlists -rw-rw-r-- 1 hg AG2-Soft 894 Apr 18 2000 gmr -rw-rw-r-- 1 hg ganzinge 570 Sep 20 2001 hom -rw-rw-r-- 1 hg ganzinge 1130 Nov 12 2001 increwrite -rw-rw-r-- 1 hg ganzinge 1709 Jun 27 2001 int -rw-rw-r-- 1 hg ganzinge 915 Jul 2 2001 inteq -rw-r--r-- 1 hg ganzinge 332 Jun 10 1998 intineq -rw-rw-r-- 1 hg ganzinge 1307 May 9 2001 join -rw-rw-r-- 1 hg ganzinge 677 May 9 2001 join2 drwxrwxr-x 2 hg ganzinge 512 Jul 6 2006 KD45 -rw-rw-r-- 1 hg ganzinge 707 Jun 11 2001 l1 -rw-r--r-- 1 hg ganzinge 554 Sep 16 2003 listcong -rw-r--r-- 1 hg ganzinge 680 Sep 16 2003 listprims -rw-rw-r-- 1 hg ganzinge 457 Jun 27 2001 listprimseq -rw-rw-r-- 1 hg ganzinge 569 Nov 8 2001 lists -rw-rw-r-- 1 hg ganzinge 572 Jun 27 2001 listseq -rw-rw-r-- 1 hg ganzinge 5698 Aug 4 1995 lk -rw-rw-r-- 1 hg ganzinge 3913 Aug 2 1995 lktest -rw-rw-r-- 1 hg AG2-Soft 2155 Aug 11 2000 lpo -rw-rw-r-- 1 ftpadmin ftpadmin 5143 Mar 29 09:46 ls-lR -rw-rw-r-- 1 ftpadmin ftpadmin 1039 Mar 29 09:46 ls-lR.gz -rw-r--r-- 1 hg ganzinge 983 Aug 10 1999 ml -rw-r--r-- 1 hg ganzinge 1491 Jun 11 2001 nat -rw-rw-r-- 1 hg ganzinge 1368 Jun 27 2001 nateq -rw-rw-rw- 1 hg ganzinge 1066 May 23 1995 ord -rw-rw-r-- 1 hg ganzinge 510 Mar 28 1995 prop -rw-rw-r-- 1 hg ganzinge 515 May 10 1995 prop1 -rw-r--r-- 1 hg ganzinge 508 Nov 15 2002 result -rw-r--r-- 1 hg ganzinge 555 May 9 2000 rewrite -rw-rw-r-- 1 hg ganzinge 997 May 9 2001 rewrite2 -rw-rw-r-- 1 hg ganzinge 836 Jun 1 2001 rewrite2eq -rw-rw-r-- 1 hg ganzinge 534 Sep 20 2001 semilattice -rw-rw-r-- 1 hg ganzinge 618 Nov 27 1995 setc -rw-r--r-- 1 hg ganzinge 906 Nov 27 1995 setc.ord -rw-rw-r-- 1 hg ganzinge 952 Nov 28 1995 setc1 -rw-r--r-- 1 hg ganzinge 515 Nov 28 1995 setc1.ord -rw-rw-r-- 1 hg ganzinge 1280 Aug 8 1995 struct -rw-rw-rw- 1 hg ganzinge 795 Aug 22 2001 subt -rw-rw-r-- 1 hg ganzinge 449 Aug 22 2001 subtprod -rw-rw-r-- 1 hg ganzinge 444 Aug 18 1999 t -rw-r--r-- 1 hg ganzinge 1489 Aug 12 1999 tc -rw-rw-r-- 1 hg AG2-Soft 1459 Mar 31 2000 tc2 -rw-rw-r-- 1 hg ganzinge 954 Sep 29 1995 tm -rw-rw-rw- 1 hg ganzinge 906 May 23 1995 to -rw-rw-r-- 1 hg ganzinge 615 Sep 28 1995 ucfg -rw-r--r-- 1 hg ganzinge 2478 Nov 14 2002 unif -rw-r--r-- 1 hg ganzinge 1045 Nov 14 2002 unifinj -rw-rw-r-- 1 hg ganzinge 2832 Sep 15 2003 weakLK ./LocalTheories/KD45: total 19 -rw-rw-r-- 1 hg ganzinge 297 Nov 11 1995 defaults -rw-rw-r-- 1 hg ganzinge 2387 Jan 27 2003 kripke -rw-rw-r-- 1 hg ganzinge 703 Jun 13 1995 logic -rw-rw-r-- 1 ftpadmin ftpadmin 576 Mar 29 09:46 ls-lR -rw-rw-r-- 1 ftpadmin ftpadmin 205 Mar 29 09:46 ls-lR.gz -rw-rw-r-- 1 hg ganzinge 1472 Jun 13 1995 nf_logic -rw-rw-r-- 1 hg ganzinge 243 Jun 13 1995 th1 -rw-rw-r-- 1 hg ganzinge 4093 Jun 13 1995 th11 -rw-rw-r-- 1 hg ganzinge 4418 Jun 13 1995 th12 ./modal-logic: total 41 -rw-rw-r-- 1 hg ganzinge 297 Nov 11 1995 defaults -rw-rw-r-- 1 hg ganzinge 125 Oct 6 1994 ex2 -rw-rw-r-- 1 hg ganzinge 467 Oct 6 1994 ex2_sat -rw-rw-r-- 1 hg ganzinge 22631 May 2 1994 F-combinator -rw-rw-r-- 1 hg ganzinge 103 May 10 1995 k.s -rw-rw-r-- 1 hg ganzinge 142 May 10 1995 k1 -rw-rw-r-- 1 hg ganzinge 526 Oct 6 1994 k1.s -rw-rw-r-- 1 hg ganzinge 2541 Nov 15 2000 kd45 -rw-rw-r-- 1 hg ganzinge 2090 May 13 1996 kd45c -rw-rw-r-- 1 ftpadmin ftpadmin 883 Mar 29 09:46 ls-lR -rw-rw-r-- 1 ftpadmin ftpadmin 274 Mar 29 09:46 ls-lR.gz -rw-rw-r-- 1 hg ganzinge 1230 Sep 15 1994 t12 -rw-rw-r-- 1 hg ganzinge 582 Jul 8 1994 test -rw-rw-r-- 1 hg ganzinge 436 Jul 8 1994 test2 ./Pelletier: total 8 -rw-r--r-- 1 hg ganzinge 2711 Oct 11 1996 29 -rw-r--r-- 1 hg ganzinge 397 May 19 1998 53 -rw-r--r-- 1 hg ganzinge 104 Nov 26 1996 53.ord -rw-r--r-- 1 hg ganzinge 290 Oct 11 1996 defaults -rw-rw-r-- 1 ftpadmin ftpadmin 384 Mar 29 09:46 ls-lR -rw-rw-r-- 1 ftpadmin ftpadmin 178 Mar 29 09:46 ls-lR.gz ./queues: total 55 -rw-r--r-- 1 hg ganzinge 297 Aug 13 2002 defaults -rw-r--r-- 1 hg ganzinge 39233 Jan 16 2004 logfile -rw-rw-r-- 1 ftpadmin ftpadmin 1094 Mar 29 09:46 ls-lR -rw-rw-r-- 1 ftpadmin ftpadmin 304 Mar 29 09:46 ls-lR.gz -rw-r--r-- 1 hg ganzinge 74 Dec 11 2003 pairs -rw-r--r-- 1 hg ganzinge 34 Dec 11 2003 pairs.ord -rw-r--r-- 1 hg ganzinge 62 Dec 8 2003 prove_del_min_complete -rw-r--r-- 1 hg ganzinge 398 Dec 9 2003 queue_induction -rw-r--r-- 1 hg ganzinge 398 Dec 9 2003 queue_induction2 -rw-r--r-- 1 hg ganzinge 718 Dec 9 2003 queue_lemma_defs -rw-r--r-- 1 hg ganzinge 763 Dec 9 2003 queue_lemma_defs2 -rw-r--r-- 1 hg ganzinge 501 Sep 3 2003 queue_lemmas -rw-r--r-- 1 hg ganzinge 586 Dec 13 2003 queues -rw-r--r-- 1 hg ganzinge 76 Dec 13 2003 queues.ord -rw-r--r-- 1 hg ganzinge 106 Dec 11 2003 queues_basic -rw-r--r-- 1 hg ganzinge 144 Sep 2 2003 to ./tests: total 885 -rw-r--r-- 1 hg ganzinge 71 Apr 15 2002 ag -rw-rw-r-- 1 hg ganzinge 7519 Mar 12 2001 ag-waldmeister -rw-rw-r-- 1 hg ganzinge 31 Apr 15 2002 ag2 -rw-rw-r-- 1 hg ganzinge 81 Apr 15 2002 agprime -rw-rw-r-- 1 hg ganzinge 113 May 15 2002 app3 drwxr-xr-x 2 hg ganzinge 512 Jul 6 2006 auto -rw-rw-r-- 1 hg ganzinge 158 Jan 3 2002 bip -rw-r--r-- 1 hg ganzinge 89 Dec 16 2002 bp -rw-r--r-- 1 hg ganzinge 1509 Jul 5 1997 brand -rw-rw-rw- 1 hg ganzinge 362 Jun 25 1997 brand1 -rw-r--r-- 1 hg ganzinge 1695 Sep 16 1997 brand_comm -rw-r--r-- 1 hg ganzinge 3407 Oct 10 1997 brand_constraints -rw-r--r-- 1 hg ganzinge 2210 Sep 17 1997 brand_constraints_nicetry -rw-rw-rw- 1 hg ganzinge 494 Jun 24 1997 brandeq -rw-r--r-- 1 hg ganzinge 1540 Oct 10 1997 brand_noconstraints -rw-r--r-- 1 hg ganzinge 2951 Oct 15 1997 brand_var -rw-r--r-- 1 hg ganzinge 2482 Oct 7 2003 bruno -rw-r--r-- 1 hg ganzinge 3946 Sep 30 2003 bruno.dfg -rw-rw-r-- 1 hg ganzinge 634 Aug 21 2002 bug -rw-rw-rw- 1 hg ganzinge 4264 Jul 22 1999 casc16 -rw-r--r-- 1 hg ganzinge 1789 Mar 25 1999 cat -rw-r--r-- 1 hg ganzinge 2657 Mar 25 1999 cat.dfg -rw-r--r-- 1 hg ganzinge 4204 Sep 23 2002 cat015 drwxr-xr-x 3 hg ganzinge 1536 Jul 6 2006 ChurchRosser -rw-r--r-- 1 hg ganzinge 95 Jul 21 1999 COL -rw-r--r-- 1 hg ganzinge 78 Nov 12 2002 cons_inj -rw-r--r-- 1 hg ganzinge 6293 Nov 6 2002 dana -rw-rw-r-- 1 hg ganzinge 297 Aug 16 2002 defaults -rw-r--r-- 1 hg ganzinge 735 Oct 23 1997 deforest -rw-rw-r-- 1 hg ganzinge 56 Sep 13 2001 disconnection -rw-rw-r-- 1 hg ganzinge 2951 Sep 4 2001 dmap -rw-r--r-- 1 hg ganzinge 1788 Jul 2 1998 dnf.pl -rw-r--r-- 1 hg ganzinge 49023 Jul 2 1998 dnfma.dfg -rw-r--r-- 1 hg ganzinge 49023 Jul 2 1998 dnfma.pl -rw-r--r-- 1 hg ganzinge 93 Aug 2 2002 dorin -rw-r--r-- 1 hg ganzinge 244 Apr 11 2003 dto -rw-r--r-- 1 hg ganzinge 26 Sep 4 2001 eq -rw-r--r-- 1 hg ganzinge 35 Oct 2 1997 eqg -rw-rw-r-- 1 hg ganzinge 83 Sep 19 2002 equiv -rw-r--r-- 1 hg ganzinge 97 Sep 19 2002 equiv1 -rw-r--r-- 1 hg ganzinge 44 Sep 30 2003 exp -rw-r--r-- 1 hg ganzinge 4335 Apr 10 2003 ext -rw-r--r-- 1 hg ganzinge 237 Apr 16 2003 extcnf -rw-r--r-- 1 hg ganzinge 1701 Apr 16 2003 exteq -rw-r--r-- 1 hg ganzinge 201 Apr 29 2003 extunion -rw-r--r-- 1 hg ganzinge 391 Apr 29 2003 extunioncnf -rw-rw-rw- 1 hg ganzinge 269 Jan 16 1998 fld -rw-r--r-- 1 hg ganzinge 350 Mar 26 2002 func -rw-rw-r-- 1 hg AG2-Soft 126 Mar 3 2000 hs -rw-r--r-- 1 hg ganzinge 128 Feb 21 2004 if -rw-r--r-- 1 hg ganzinge 52 Mar 1 2001 ineq -rw-r--r-- 1 hg ganzinge 8859 Mar 9 1998 kiv -rw-r--r-- 1 hg ganzinge 9201 Mar 9 1998 kiv2 -rw-r--r-- 1 hg ganzinge 2176 Mar 9 1998 kivt -rw-r--r-- 1 hg ganzinge 0 Jul 21 1999 LAT -rw-r--r-- 1 hg ganzinge 2528 May 17 1995 LDA013-1 -rw-r--r-- 1 hg ganzinge 347 Apr 26 1999 less -rw-r--r-- 1 hg ganzinge 120 Nov 11 2002 list_problem -rw-rw-r-- 1 hg ganzinge 60 Nov 11 2002 lists -rw-r--r-- 1 hg ganzinge 200 Apr 10 2003 listsnc -rw-rw-r-- 1 hg ganzinge 115 Apr 27 2001 lk -rw-rw-rw- 1 hg ganzinge 68 Mar 19 2002 log -rw-rw-r-- 1 hg ganzinge 61 Feb 22 2002 logalg -rw-rw-r-- 1 hg ganzinge 592 Feb 27 2001 logic -rw-rw-r-- 1 ftpadmin ftpadmin 15293 Mar 29 09:46 ls-lR -rw-rw-r-- 1 ftpadmin ftpadmin 2570 Mar 29 09:46 ls-lR.gz -rw-rw-r-- 1 hg ganzinge 824 Nov 28 2000 match -rw-rw-r-- 1 hg ganzinge 519 Feb 12 2001 maxflow -rw-rw-r-- 1 hg ganzinge 1918 Aug 2 2002 mgt -rw-rw-r-- 1 hg ganzinge 6756 Aug 5 2002 mgt.dfg -rw-rw-r-- 1 hg ganzinge 171 Sep 4 2001 mir -rw-r--r-- 1 hg ganzinge 260 Aug 3 2003 ms -rw-r--r-- 1 hg ganzinge 177 Oct 21 1999 mv -rw-r--r-- 1 hg ganzinge 167 Aug 20 1998 nat -rw-r--r-- 1 hg ganzinge 87 Nov 15 1999 nat1 -rw-rw-r-- 1 hg ganzinge 457 Jul 2 2001 natp -rw-r--r-- 1 hg ganzinge 93 Aug 19 1998 natt -rw-rw-r-- 1 hg ganzinge 5740 Oct 18 2002 needham -rw-r--r-- 1 hg ganzinge 4386 Oct 18 2002 needhamc -rw-rw-rw- 1 hg ganzinge 562 Jul 21 1999 NUM -rw-r--r-- 1 hg ganzinge 930 Apr 30 2001 ord -rw-rw-r-- 1 hg ganzinge 41644 Sep 4 2001 pell34 -rw-rw-r-- 1 hg ganzinge 641 Sep 4 2001 pell34.dfg -rw-r--r-- 1 hg ganzinge 1013 Jul 29 2002 pell73_4 -rw-rw-r-- 1 hg ganzinge 158 Aug 16 2001 pi -rw-rw-r-- 1 hg ganzinge 39 Aug 8 2002 po -rw-r--r-- 1 hg ganzinge 92 Feb 22 2000 pp -rw-r--r-- 1 hg ganzinge 26 Dec 16 2003 prop -rw-r--r-- 1 hg ganzinge 13061 Jan 8 2004 prop140-3 -rw-r--r-- 1 hg ganzinge 295 Oct 22 2003 qkleiner -rw-rw-rw- 1 hg ganzinge 233 Nov 15 2000 qs -rw-r--r-- 1 hg ganzinge 434 Jun 13 2003 reflecttrees -rw-r--r-- 1 hg ganzinge 47 Jan 22 1998 res -rw-r--r-- 1 hg ganzinge 264 Jun 13 2003 rtmirror -rw-r--r-- 1 hg ganzinge 106 Jun 13 2003 rtsubtreeunique -rw-r--r-- 1 hg ganzinge 938 May 11 1998 s4 -rw-r--r-- 1 hg ganzinge 115 May 11 1998 s4.ord -rw-r--r-- 1 hg ganzinge 99 Jul 19 1999 sel -rw-r--r-- 1 hg ganzinge 87574 Jul 24 1999 SET -rw-rw-rw- 1 hg ganzinge 412 Dec 22 2000 SET748.ord -rw-r--r-- 1 hg ganzinge 26840 Jan 22 2003 setinj -rw-r--r-- 1 hg ganzinge 14500 Jan 27 2003 setinj.dvi -rw-r--r-- 1 hg ganzinge 15783 Jan 27 2003 setinj.tex -rw-r--r-- 1 hg ganzinge 12845 Jan 22 2003 setinjjunk -rw-r--r-- 1 hg ganzinge 1784 Jan 27 2003 setrel -rw-r--r-- 1 hg ganzinge 3326 Jan 22 2003 setrel.dfg -rw-r--r-- 1 hg ganzinge 37854 Feb 5 2003 setrel.ord -rw-r--r-- 1 hg ganzinge 1944 Nov 20 2002 setz -rw-r--r-- 1 hg ganzinge 2212 Nov 27 2002 Sheffer1Basis -rw-r--r-- 1 hg ganzinge 26 Aug 13 2002 simp -rw-r--r-- 1 hg ganzinge 207 Nov 15 2000 sp -rw-r--r-- 1 hg ganzinge 272752 Jul 21 1999 spassResults -rw-rw-r-- 1 hg ganzinge 111 Dec 6 2001 split -rw-r--r-- 1 hg ganzinge 629 Sep 19 1997 t -rw-r--r-- 1 hg ganzinge 178 Nov 5 1997 t1 -rw-r--r-- 1 hg ganzinge 111 Feb 6 1998 t2 -rw-r--r-- 1 hg ganzinge 252 Oct 24 1997 t3 -rw-r--r-- 1 hg ganzinge 464 Oct 14 1997 t4 -rw-r--r-- 1 hg ganzinge 379 May 5 1998 tamet -rw-r--r-- 1 hg ganzinge 178 Jun 18 2002 tarksi -rw-r--r-- 1 hg ganzinge 739 Jun 18 2002 tarski -rw-r--r-- 1 hg ganzinge 64 Apr 11 2003 taut drwxr-xr-x 2 hg ganzinge 512 Jul 6 2006 temp -rw-r--r-- 1 hg ganzinge 843 Aug 22 2002 test drwxr-xr-x 2 hg ganzinge 512 Jul 6 2006 tptpSET -rw-r--r-- 1 hg ganzinge 3239 Jan 13 1998 tr.abs -rw-r--r-- 1 hg ganzinge 3239 Dec 19 1997 tr.dfg -rw-r--r-- 1 hg ganzinge 16824 Dec 19 1997 tr.dfg.model -rw-r--r-- 1 hg ganzinge 3145 Dec 19 1997 tr.pl -rw-r--r-- 1 hg ganzinge 3769 Jun 5 1998 trm -rw-r--r-- 1 hg ganzinge 1628 Jun 5 1998 trm.pl -rw-r--r-- 1 hg ganzinge 135 Oct 2 1998 tt -rw-r--r-- 1 hg ganzinge 1276 Jan 9 2004 uic -rw-r--r-- 1 hg ganzinge 42 Jan 13 1998 we -rw-r--r-- 1 hg ganzinge 1553 Mar 19 2001 zero ./tests/auto: total 3 -rw-rw-r-- 1 ftpadmin ftpadmin 204 Mar 29 09:46 ls-lR -rw-rw-r-- 1 ftpadmin ftpadmin 136 Mar 29 09:46 ls-lR.gz -rw-r--r-- 1 hg ganzinge 215 Jan 27 2003 setinj.el ./tests/ChurchRosser: total 493 -rw-r--r-- 1 hg ganzinge 230 Mar 7 2004 beta -rw-r--r-- 1 hg ganzinge 202 Mar 7 2004 cd -rw-r--r-- 1 hg ganzinge 57742 Mar 7 2004 comma -rw-r--r-- 1 hg ganzinge 4626 Mar 7 2004 commb -rw-r--r-- 1 hg ganzinge 120 Mar 7 2004 comm_lemma -rw-r--r-- 1 hg ganzinge 57 Mar 7 2004 comp_th -rw-r--r-- 1 hg ganzinge 28888 Mar 7 2004 cr-lemmas.html -rw-r--r-- 1 hg ganzinge 290 Mar 7 2004 defaults -rw-r--r-- 1 hg ganzinge 121 Mar 7 2004 diamond_pbeta -rw-r--r-- 1 hg ganzinge 357 Mar 7 2004 eta -rw-r--r-- 1 hg ganzinge 110 Mar 7 2004 etas drwxr-xr-x 3 hg ganzinge 512 Jul 6 2006 hg -rw-r--r-- 1 hg ganzinge 293 Mar 7 2004 int -rw-r--r-- 1 hg ganzinge 294 Mar 7 2004 int2 -rw-r--r-- 1 hg ganzinge 106 Mar 7 2004 int_lemmas -rw-r--r-- 1 hg ganzinge 122 Mar 7 2004 lemmaB1 -rw-r--r-- 1 hg ganzinge 132 Mar 7 2004 lemmaB2 -rw-r--r-- 1 hg ganzinge 170 Mar 7 2004 lemmaB3a -rw-r--r-- 1 hg ganzinge 90 Mar 7 2004 lemmaB3b -rw-r--r-- 1 hg ganzinge 80 Mar 7 2004 lemmaE1 -rw-r--r-- 1 hg ganzinge 88 Mar 7 2004 lemmaE2 -rw-r--r-- 1 hg ganzinge 166 Mar 7 2004 lemmaE3a -rw-r--r-- 1 hg ganzinge 86 Mar 7 2004 lemmaE3b -rw-r--r-- 1 hg ganzinge 119 Mar 7 2004 lemmaE6 -rw-r--r-- 1 hg ganzinge 128 Mar 7 2004 lemmaE7 -rw-r--r-- 1 hg ganzinge 127 Mar 7 2004 lemmaE8 -rw-r--r-- 1 hg ganzinge 172 Mar 7 2004 lemmaF2 -rw-r--r-- 1 hg ganzinge 206 Mar 7 2004 lemmaF3 -rw-r--r-- 1 hg ganzinge 84 Mar 7 2004 lemmaP1 -rw-r--r-- 1 hg ganzinge 132 Mar 7 2004 lemmaP2 -rw-rw-r-- 1 ftpadmin ftpadmin 4956 Mar 29 09:46 ls-lR -rw-rw-r-- 1 ftpadmin ftpadmin 699 Mar 29 09:46 ls-lR.gz -rw-r--r-- 1 hg ganzinge 329 Mar 7 2004 nat -rw-r--r-- 1 hg ganzinge 294 Mar 7 2004 pbeta -rw-r--r-- 1 hg ganzinge 15386 Mar 7 2004 pr_comp -rw-r--r-- 1 hg ganzinge 20258 Mar 7 2004 pr_dia -rw-r--r-- 1 hg ganzinge 1590 Mar 7 2004 pr_diamond_pbeta -rw-r--r-- 1 hg ganzinge 11433 Mar 7 2004 pr_lemmaB1 -rw-r--r-- 1 hg ganzinge 8744 Mar 7 2004 pr_lemmaB2 -rw-r--r-- 1 hg ganzinge 3842 Mar 7 2004 pr_lemmaB3a -rw-r--r-- 1 hg ganzinge 5014 Mar 7 2004 pr_lemmaB3b -rw-r--r-- 1 hg ganzinge 2624 Mar 7 2004 pr_lemmaBP -rw-r--r-- 1 hg ganzinge 15280 Mar 7 2004 pr_lemmaE1 -rw-r--r-- 1 hg ganzinge 12778 Mar 7 2004 pr_lemmaE2 -rw-r--r-- 1 hg ganzinge 3769 Mar 7 2004 pr_lemmaE3a -rw-r--r-- 1 hg ganzinge 4997 Mar 7 2004 pr_lemmaE3b -rw-r--r-- 1 hg ganzinge 10528 Mar 7 2004 pr_lemmaE6 -rw-r--r-- 1 hg ganzinge 9145 Mar 7 2004 pr_lemmaE7 -rw-r--r-- 1 hg ganzinge 69088 Mar 7 2004 pr_lemmaE8 -rw-r--r-- 1 hg ganzinge 7532 Mar 7 2004 pr_lemmaF1 -rw-r--r-- 1 hg ganzinge 28212 Mar 7 2004 pr_lemmaF2 -rw-r--r-- 1 hg ganzinge 40879 Mar 7 2004 pr_lemmaF3 -rw-r--r-- 1 hg ganzinge 10210 Mar 7 2004 pr_lemmaP1 -rw-r--r-- 1 hg ganzinge 18712 Mar 7 2004 pr_lemmaP2 -rw-r--r-- 1 hg ganzinge 5599 Mar 7 2004 pr_lemmaPBS -rw-r--r-- 1 hg ganzinge 7092 Mar 7 2004 pr_subst_lemma1 -rw-r--r-- 1 hg ganzinge 12533 Mar 7 2004 pr_subst_lemma2 -rw-r--r-- 1 hg ganzinge 8276 Mar 7 2004 pr_subst_lemma3 -rw-r--r-- 1 hg ganzinge 3681 Mar 7 2004 pr_subst_lemma4 -rw-r--r-- 1 hg ganzinge 16566 Mar 7 2004 pr_subst_lemma5 -rw-r--r-- 1 hg ganzinge 6151 Mar 7 2004 pr_subst_lemma6 -rw-r--r-- 1 hg ganzinge 531 Mar 7 2004 subst -rw-r--r-- 1 hg ganzinge 767 Mar 7 2004 subst_lemmas -rw-r--r-- 1 hg ganzinge 74 Mar 7 2004 test ./tests/ChurchRosser/hg: total 16 -rw-r--r-- 1 hg ganzinge 290 Mar 7 2004 defaults drwxr-xr-x 2 hg ganzinge 512 Mar 7 2004 hg -rw-r--r-- 1 hg ganzinge 232 Mar 7 2004 int -rw-r--r-- 1 hg ganzinge 16 Mar 7 2004 int_lemmas -rw-rw-r-- 1 ftpadmin ftpadmin 739 Mar 29 09:46 ls-lR -rw-rw-r-- 1 ftpadmin ftpadmin 218 Mar 29 09:46 ls-lR.gz -rw-r--r-- 1 hg ganzinge 410 Mar 7 2004 subst -rw-r--r-- 1 hg ganzinge 7158 Mar 7 2004 subst_lemma1 -rw-r--r-- 1 hg ganzinge 589 Mar 7 2004 subst_lemma2 -rw-r--r-- 1 hg ganzinge 446 Mar 7 2004 subst_lemmas ./tests/ChurchRosser/hg/hg: total 1 -rw-r--r-- 1 hg ganzinge 290 Mar 7 2004 defaults ./tests/temp: total 21 -rw-r--r-- 1 hg ganzinge 472 Feb 20 2004 c1 -rw-r--r-- 1 hg ganzinge 848 Feb 19 2004 c2 -rw-r--r-- 1 hg ganzinge 189 Feb 20 2004 commands -rw-r--r-- 1 hg ganzinge 297 Jan 26 2004 defaults -rw-r--r-- 1 hg ganzinge 564 Feb 17 2004 easy_lemmas -rw-r--r-- 1 hg ganzinge 118 Feb 20 2004 elements -rw-r--r-- 1 hg ganzinge 359 Feb 15 2004 ex -rw-r--r-- 1 hg ganzinge 365 Feb 15 2004 ex1 -rw-r--r-- 1 hg ganzinge 596 Feb 23 2004 induction_step -rw-r--r-- 1 hg ganzinge 177 Feb 20 2004 l1.ord1 -rw-r--r-- 1 hg ganzinge 814 Feb 19 2004 lb_list -rw-r--r-- 1 hg ganzinge 346 Feb 19 2004 lists -rw-rw-r-- 1 ftpadmin ftpadmin 1226 Mar 29 09:46 ls-lR -rw-rw-r-- 1 ftpadmin ftpadmin 323 Mar 29 09:46 ls-lR.gz -rw-r--r-- 1 hg ganzinge 1255 Feb 10 2004 queue_lemmas -rw-r--r-- 1 hg ganzinge 667 Feb 19 2004 queues -rw-r--r-- 1 hg ganzinge 653 Feb 20 2004 string_predicates -rw-r--r-- 1 hg ganzinge 200 Feb 23 2004 tmp1 -rw-r--r-- 1 hg ganzinge 193 Feb 6 2004 to ./tests/tptpSET: total 17 -rw-rw-r-- 1 hg ganzinge 5651 Aug 8 2002 casc18.pl -rw-rw-r-- 1 hg ganzinge 1798 Jan 24 2003 FOF02Problems -rw-rw-r-- 1 ftpadmin ftpadmin 349 Mar 29 09:46 ls-lR -rw-rw-r-- 1 ftpadmin ftpadmin 191 Mar 29 09:46 ls-lR.gz -rw-r--r-- 1 hg ganzinge 6186 Jan 21 2003 sat_tptp.log.best