.: 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 ./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 ./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 ./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 ./ChurchRosser/hg/hg: total 1 -rw-r--r-- 1 hg ganzinge 290 Mar 7 2004 defaults ./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 ./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