Terms parsed by notations were not localized.

[helm.git] / helm / papers / matita / librariesCluster.ps

diff --git a/helm/papers/matita/librariesCluster.ps b/helm/papers/matita/librariesCluster.ps
index 27ef6164fc24e0b4af124a3036d43e0a362ca971..2fd94573df19bc794eff495d056a0aab64249a3e 100644 (file)
--- a/helm/papers/matita/librariesCluster.ps
+++ b/helm/papers/matita/librariesCluster.ps
@@ -3,7 +3,7 @@
 %%For: (zacchiro) Stefano Zacchiroli,,,
 %%Title: G
 %%Pages: (atend)
-%%BoundingBox: 35 35 1256 973
+%%BoundingBox: 35 35 1258 979
 %%EndComments
 save
 %%BeginProlog
@@ -230,10 +230,10 @@ def
 
 %%EndSetup
 %%Page: 1 1
-%%PageBoundingBox: 36 36 1256 973
+%%PageBoundingBox: 36 36 1258 979
 %%PageOrientation: Portrait
 gsave
-35 35 1221 938 boxprim clip newpath
+35 35 1223 944 boxprim clip newpath
 36 36 translate
 0 0 1 beginpage
 0 0 translate 0 rotate
@@ -244,22 +244,22 @@ gsave 10 dict begin
 filled
 0.000 0.000 1.000 sethsbcolor
 0.000 0.000 0.929 sethsbcolor
-newpath 782 488 moveto
-1211 488 lineto
-1211 856 lineto
-782 856 lineto
+newpath 764 488 moveto
+1193 488 lineto
+1193 862 lineto
+764 862 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 782 488 moveto
-1211 488 lineto
-1211 856 lineto
-782 856 lineto
+newpath 764 488 moveto
+1193 488 lineto
+1193 862 lineto
+764 862 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-790 498 moveto
+772 498 moveto
 (Terms at the content and presentation level)
 [14.64 10.56 7.92 18.72 9.36 6 10.56 6.72 6 6.72 12 10.56 6 10.56 12 12 6.72 10.56 12 6.72 6 10.56 12 12 6 12 7.92 10.56 9.36 10.56 12 6.72 10.56 6.72 6.72 12 12 6 6.72 10.56 12 10.56 6.72]
 xshow
@@ -270,22 +270,22 @@ gsave 10 dict begin
 filled
 0.000 0.000 1.000 sethsbcolor
 0.000 0.000 0.929 sethsbcolor
-newpath 294 612 moveto
-544 612 lineto
-544 892 lineto
-294 892 lineto
+newpath 314 618 moveto
+564 618 lineto
+564 898 lineto
+314 898 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 294 612 moveto
-544 612 lineto
-544 892 lineto
-294 892 lineto
+newpath 314 618 moveto
+564 618 lineto
+564 898 lineto
+314 898 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-302 866 moveto
+322 872 moveto
 (Partially specified terms)
 [13.44 10.56 7.92 6.72 6.72 10.56 6.72 6.72 12 6 9.36 12 10.56 10.56 6.72 7.92 6.72 10.56 12 6 6.72 10.56 7.92 18.72 9.36]
 xshow
@@ -296,22 +296,22 @@ gsave 10 dict begin
 filled
 0.000 0.000 1.000 sethsbcolor
 0.000 0.000 0.929 sethsbcolor
-newpath 400 208 moveto
-774 208 lineto
-774 592 lineto
-400 592 lineto
+newpath 86 208 moveto
+460 208 lineto
+460 592 lineto
+86 592 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 400 208 moveto
-774 208 lineto
-774 592 lineto
-400 592 lineto
+newpath 86 208 moveto
+460 208 lineto
+460 592 lineto
+86 592 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-407 218 moveto
+93 218 moveto
 (Fully specified terms)
 [13.44 12 6.72 6.72 12 6 9.36 12 10.56 10.56 6.72 7.92 6.72 10.56 12 6 6.72 10.56 7.92 18.72 9.36]
 xshow
@@ -322,22 +322,22 @@ gsave 10 dict begin
 filled
 0.000 0.000 1.000 sethsbcolor
 0.000 0.000 0.929 sethsbcolor
-newpath 782 16 moveto
-1070 16 lineto
-1070 400 lineto
-782 400 lineto
+newpath 468 16 moveto
+718 16 lineto
+718 400 lineto
+468 400 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 782 16 moveto
-1070 16 lineto
-1070 400 lineto
-782 400 lineto
+newpath 468 16 moveto
+718 16 lineto
+718 400 lineto
+468 400 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-984 26 moveto
+632 26 moveto
 (Utilities)
 [17.28 6.72 6.72 6.72 6.72 6.72 6.72 10.56 9.36]
 xshow
@@ -346,10 +346,10 @@ end grestore
 
 %      acic_content
 gsave 10 dict begin
-900 646 75 25 ellipse_path
+849 652 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-839 638 moveto
+788 644 moveto
 (acic_content)
 [10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
 xshow
@@ -358,10 +358,10 @@ end grestore
 
 %      cic_acic
 gsave 10 dict begin
-873 558 54 25 ellipse_path
+839 558 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-833 550 moveto
+799 550 moveto
 (cic_acic)
 [10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
 xshow
@@ -369,32 +369,32 @@ end grestore
 end grestore
 
 %      acic_content -> cic_acic
-newpath 892 621 moveto
-889 612 886 602 884 593 curveto
+newpath 846 626 moveto
+845 616 844 605 843 594 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 887 592 moveto
-881 583 lineto
-881 594 lineto
+newpath 846 594 moveto
+842 584 lineto
+840 594 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 887 592 moveto
-881 583 lineto
-881 594 lineto
+newpath 846 594 moveto
+842 584 lineto
+840 594 lineto
 closepath
 stroke
 end grestore
 
 %      cic_proof_checking
 gsave 10 dict begin
-655 454 110 25 ellipse_path
+341 454 110 25 ellipse_path
 stroke
 gsave 10 dict begin
-559 446 moveto
+245 446 moveto
 (cic_proof_checking)
 [10.56 6.72 10.56 12 12 7.92 12 12 7.92 12 10.56 12 10.56 10.56 12 6.72 12 12]
 xshow
@@ -402,33 +402,33 @@ end grestore
 end grestore
 
 %      cic_acic -> cic_proof_checking
-newpath 848 535 moveto
-830 520 804 500 778 488 curveto
-768 483 757 479 746 475 curveto
+newpath 820 534 moveto
+806 518 784 497 760 488 curveto
+741 480 423 491 361 482 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 747 472 moveto
-736 472 lineto
-745 478 lineto
+newpath 361 479 moveto
+351 480 lineto
+360 485 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 747 472 moveto
-736 472 lineto
-745 478 lineto
+newpath 361 479 moveto
+351 480 lineto
+360 485 lineto
 closepath
 stroke
 end grestore
 
 %      cic_disambiguation
 gsave 10 dict begin
-900 734 109 25 ellipse_path
+1054 740 109 25 ellipse_path
 stroke
 gsave 10 dict begin
-805 726 moveto
+959 732 moveto
 (cic_disambiguation)
 [10.56 6.72 10.56 12 12 6.72 9.36 10.56 18.72 12 6.72 12 12 10.56 6.72 6.72 12 12]
 xshow
@@ -436,32 +436,32 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> acic_content
-newpath 900 708 moveto
-900 700 900 691 900 682 curveto
+newpath 975 722 moveto
+935 712 890 698 867 684 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 904 682 moveto
-900 672 lineto
-897 682 lineto
+newpath 869 681 moveto
+859 678 lineto
+865 687 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 904 682 moveto
-900 672 lineto
-897 682 lineto
+newpath 869 681 moveto
+859 678 lineto
+865 687 lineto
 closepath
 stroke
 end grestore
 
 %      cic_unification
 gsave 10 dict begin
-449 646 86 25 ellipse_path
+469 652 86 25 ellipse_path
 stroke
 gsave 10 dict begin
-377 638 moveto
+397 644 moveto
 (cic_unification)
 [10.56 6.72 10.56 12 12 12 6.72 7.92 6.72 10.56 10.56 6.72 6.72 12 12]
 xshow
@@ -469,32 +469,34 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> cic_unification
-newpath 816 718 moveto
-734 702 613 678 532 662 curveto
+newpath 976 722 moveto
+963 719 948 716 935 714 curveto
+810 692 777 695 650 678 curveto
+619 674 586 669 557 665 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 532 659 moveto
-522 660 lineto
-531 665 lineto
+newpath 557 662 moveto
+547 663 lineto
+556 668 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 532 659 moveto
-522 660 lineto
-531 665 lineto
+newpath 557 662 moveto
+547 663 lineto
+556 668 lineto
 closepath
 stroke
 end grestore
 
 %      whelp
 gsave 10 dict begin
-467 558 44 25 ellipse_path
+354 558 44 25 ellipse_path
 stroke
 gsave 10 dict begin
-437 550 moveto
+324 550 moveto
 (whelp)
 [17.28 12 10.56 6.72 12]
 xshow
@@ -502,32 +504,38 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> whelp
-newpath 845 712 moveto
-759 676 594 609 513 577 curveto
+newpath 968 724 moveto
+968 723 967 723 967 723 curveto
+965 721 964 721 961 720 curveto
+932 706 922 708 890 702 curveto
+835 690 820 691 764 678 curveto
+676 656 658 637 568 618 curveto
+524 608 402 620 366 592 curveto
+366 592 366 592 365 592 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 515 574 moveto
-504 573 lineto
-512 580 lineto
+newpath 368 590 moveto
+360 583 lineto
+362 593 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 515 574 moveto
-504 573 lineto
-512 580 lineto
+newpath 368 590 moveto
+360 583 lineto
+362 593 lineto
 closepath
 stroke
 end grestore
 
 %      content_pres
 gsave 10 dict begin
-1105 734 76 25 ellipse_path
+849 740 76 25 ellipse_path
 stroke
 gsave 10 dict begin
-1043 726 moveto
+787 732 moveto
 (content_pres)
 [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
 xshow
@@ -535,65 +543,32 @@ end grestore
 end grestore
 
 %      content_pres -> acic_content
-newpath 1058 714 moveto
-1027 701 988 684 956 670 curveto
+newpath 849 714 moveto
+849 706 849 697 849 688 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 958 667 moveto
-947 666 lineto
-955 673 lineto
+newpath 853 688 moveto
+849 678 lineto
+846 688 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 958 667 moveto
-947 666 lineto
-955 673 lineto
-closepath
-stroke
-end grestore
-
-%      utf8_macros
-gsave 10 dict begin
-986 366 75 25 ellipse_path
-stroke
-gsave 10 dict begin
-925 358 moveto
-(utf8_macros)
-[12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
-xshow
-end grestore
-end grestore
-
-%      content_pres -> utf8_macros
-newpath 1097 708 moveto
-1076 644 1021 475 997 401 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 1000 400 moveto
-994 391 lineto
-994 402 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 1000 400 moveto
-994 391 lineto
-994 402 lineto
+newpath 853 688 moveto
+849 678 lineto
+846 688 lineto
 closepath
 stroke
 end grestore
 
 %      grafite
 gsave 10 dict begin
-972 822 46 25 ellipse_path
+881 828 46 25 ellipse_path
 stroke
 gsave 10 dict begin
-940 814 moveto
+849 820 moveto
 (grafite)
 [12 7.92 10.56 7.92 6.72 6.72 10.56]
 xshow
@@ -601,54 +576,58 @@ end grestore
 end grestore
 
 %      grafite -> content_pres
-newpath 1002 802 moveto
-1019 791 1042 776 1062 763 curveto
+newpath 872 803 moveto
+868 794 865 784 861 775 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 1064 766 moveto
-1070 757 lineto
-1060 760 lineto
+newpath 864 774 moveto
+858 765 lineto
+858 776 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 1064 766 moveto
-1070 757 lineto
-1060 760 lineto
+newpath 864 774 moveto
+858 765 lineto
+858 776 lineto
 closepath
 stroke
 end grestore
 
 %      cic_unification -> cic_proof_checking
-newpath 482 622 moveto
-495 613 509 602 521 592 curveto
-560 558 600 516 626 486 curveto
+newpath 552 644 moveto
+622 636 714 620 736 592 curveto
+765 555 769 521 736 488 curveto
+731 482 606 483 598 483 curveto
+563 482 555 482 519 482 curveto
+503 481 389 482 372 481 curveto
+372 481 372 481 372 481 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 628 489 moveto
-633 479 lineto
-623 484 lineto
+newpath 376 478 moveto
+365 479 lineto
+374 485 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 628 489 moveto
-633 479 lineto
-623 484 lineto
+newpath 376 478 moveto
+365 479 lineto
+374 485 lineto
 closepath
 stroke
 end grestore
 
 %      tactics
 gsave 10 dict begin
-443 734 45 25 ellipse_path
+463 740 45 25 ellipse_path
 stroke
 gsave 10 dict begin
-412 726 moveto
+432 732 moveto
 (tactics)
 [6.72 10.56 10.56 6.72 6.72 10.56 9.36]
 xshow
@@ -656,56 +635,54 @@ end grestore
 end grestore
 
 %      tactics -> cic_unification
-newpath 445 708 moveto
-446 700 446 691 447 682 curveto
+newpath 465 714 moveto
+466 706 466 697 467 688 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 451 682 moveto
-447 672 lineto
-444 682 lineto
+newpath 471 688 moveto
+467 678 lineto
+464 688 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 451 682 moveto
-447 672 lineto
-444 682 lineto
+newpath 471 688 moveto
+467 678 lineto
+464 688 lineto
 closepath
 stroke
 end grestore
 
 %      tactics -> whelp
-newpath 406 719 moveto
-387 708 364 693 353 672 curveto
-341 648 337 633 353 612 curveto
-373 586 394 606 422 592 curveto
-426 590 430 588 433 585 curveto
+newpath 427 724 moveto
+408 714 386 698 373 678 curveto
+357 653 353 620 353 594 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 435 588 moveto
-442 580 lineto
-432 582 lineto
+newpath 357 594 moveto
+353 584 lineto
+350 594 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 435 588 moveto
-442 580 lineto
-432 582 lineto
+newpath 357 594 moveto
+353 584 lineto
+350 594 lineto
 closepath
 stroke
 end grestore
 
 %      paramodulation
 gsave 10 dict begin
-443 822 90 25 ellipse_path
+463 828 90 25 ellipse_path
 stroke
 gsave 10 dict begin
-367 814 moveto
+387 820 moveto
 (paramodulation)
 [12 10.56 7.92 10.56 18.72 12 12 12 6.72 10.56 6.72 6.72 12 12]
 xshow
@@ -713,32 +690,32 @@ end grestore
 end grestore
 
 %      paramodulation -> tactics
-newpath 443 796 moveto
-443 788 443 779 443 770 curveto
+newpath 463 802 moveto
+463 794 463 785 463 776 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 447 770 moveto
-443 760 lineto
-440 770 lineto
+newpath 467 776 moveto
+463 766 lineto
+460 776 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 447 770 moveto
-443 760 lineto
-440 770 lineto
+newpath 467 776 moveto
+463 766 lineto
+460 776 lineto
 closepath
 stroke
 end grestore
 
 %      cic
 gsave 10 dict begin
-562 366 28 25 ellipse_path
+248 366 28 25 ellipse_path
 stroke
 gsave 10 dict begin
-548 358 moveto
+234 358 moveto
 (cic)
 [10.56 6.72 10.56]
 xshow
@@ -747,10 +724,10 @@ end grestore
 
 %      urimanager
 gsave 10 dict begin
-657 278 70 25 ellipse_path
+343 278 70 25 ellipse_path
 stroke
 gsave 10 dict begin
-601 270 moveto
+287 270 moveto
 (urimanager)
 [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
 xshow
@@ -758,32 +735,32 @@ end grestore
 end grestore
 
 %      cic -> urimanager
-newpath 582 347 moveto
-594 336 610 322 624 309 curveto
+newpath 268 347 moveto
+280 336 296 322 310 309 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 626 312 moveto
-631 302 lineto
-621 307 lineto
+newpath 312 312 moveto
+317 302 lineto
+307 307 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 626 312 moveto
-631 302 lineto
-621 307 lineto
+newpath 312 312 moveto
+317 302 lineto
+307 307 lineto
 closepath
 stroke
 end grestore
 
 %      xml
 gsave 10 dict begin
-843 174 33 25 ellipse_path
+529 174 33 25 ellipse_path
 stroke
 gsave 10 dict begin
-824 166 moveto
+510 166 moveto
 (xml)
 [12 18.72 6.72]
 xshow
@@ -791,54 +768,54 @@ end grestore
 end grestore
 
 %      cic -> xml
-newpath 556 341 moveto
-549 306 543 243 577 208 curveto
-592 192 727 181 799 177 curveto
+newpath 242 341 moveto
+235 306 229 243 263 208 curveto
+278 192 413 181 485 177 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 799 180 moveto
-809 176 lineto
-799 174 lineto
+newpath 485 180 moveto
+495 176 lineto
+485 174 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 799 180 moveto
-809 176 lineto
-799 174 lineto
+newpath 485 180 moveto
+495 176 lineto
+485 174 lineto
 closepath
 stroke
 end grestore
 
 %      cic_proof_checking -> cic
-newpath 629 429 moveto
-617 417 602 404 590 392 curveto
+newpath 315 429 moveto
+303 417 288 404 276 392 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 592 389 moveto
-582 385 lineto
-587 394 lineto
+newpath 278 389 moveto
+268 385 lineto
+273 394 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 592 389 moveto
-582 385 lineto
-587 394 lineto
+newpath 278 389 moveto
+268 385 lineto
+273 394 lineto
 closepath
 stroke
 end grestore
 
 %      getter
 gsave 10 dict begin
-655 366 42 25 ellipse_path
+341 366 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-627 358 moveto
+313 358 moveto
 (getter)
 [12 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -846,53 +823,53 @@ end grestore
 end grestore
 
 %      cic_proof_checking -> getter
-newpath 655 428 moveto
-655 420 655 411 655 402 curveto
+newpath 341 428 moveto
+341 420 341 411 341 402 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 659 402 moveto
-655 392 lineto
-652 402 lineto
+newpath 345 402 moveto
+341 392 lineto
+338 402 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 659 402 moveto
-655 392 lineto
-652 402 lineto
+newpath 345 402 moveto
+341 392 lineto
+338 402 lineto
 closepath
 stroke
 end grestore
 
 %      getter -> urimanager
-newpath 656 340 moveto
-656 332 656 323 656 314 curveto
+newpath 342 340 moveto
+342 332 342 323 342 314 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 660 314 moveto
-656 304 lineto
-653 314 lineto
+newpath 346 314 moveto
+342 304 lineto
+339 314 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 660 314 moveto
-656 304 lineto
-653 314 lineto
+newpath 346 314 moveto
+342 304 lineto
+339 314 lineto
 closepath
 stroke
 end grestore
 
 %      registry
 gsave 10 dict begin
-843 278 52 25 ellipse_path
+529 278 52 25 ellipse_path
 stroke
 gsave 10 dict begin
-805 270 moveto
+491 270 moveto
 (registry)
 [7.92 10.56 12 6.72 9.36 6.72 7.92 12]
 xshow
@@ -900,32 +877,32 @@ end grestore
 end grestore
 
 %      getter -> registry
-newpath 689 350 moveto
-719 336 763 316 796 300 curveto
+newpath 375 350 moveto
+405 336 449 316 482 300 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 797 303 moveto
-805 296 lineto
-794 297 lineto
+newpath 483 303 moveto
+491 296 lineto
+480 297 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 797 303 moveto
-805 296 lineto
-794 297 lineto
+newpath 483 303 moveto
+491 296 lineto
+480 297 lineto
 closepath
 stroke
 end grestore
 
 %      metadata
 gsave 10 dict begin
-467 454 58 25 ellipse_path
+153 454 58 25 ellipse_path
 stroke
 gsave 10 dict begin
-423 446 moveto
+109 446 moveto
 (metadata)
 [18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
 xshow
@@ -933,54 +910,54 @@ end grestore
 end grestore
 
 %      metadata -> cic
-newpath 492 431 moveto
-505 419 521 404 534 392 curveto
+newpath 178 431 moveto
+191 419 207 404 220 392 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 537 394 moveto
-542 385 lineto
-532 389 lineto
+newpath 223 394 moveto
+228 385 lineto
+218 389 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 537 394 moveto
-542 385 lineto
-532 389 lineto
+newpath 223 394 moveto
+228 385 lineto
+218 389 lineto
 closepath
 stroke
 end grestore
 
 %      metadata -> getter
-newpath 511 437 moveto
-543 424 584 408 600 400 curveto
-606 397 612 394 617 390 curveto
+newpath 197 437 moveto
+229 424 270 408 286 400 curveto
+292 397 298 394 303 390 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 619 393 moveto
-626 385 lineto
-616 387 lineto
+newpath 305 393 moveto
+312 385 lineto
+302 387 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 619 393 moveto
-626 385 lineto
-616 387 lineto
+newpath 305 393 moveto
+312 385 lineto
+302 387 lineto
 closepath
 stroke
 end grestore
 
 %      hmysql
 gsave 10 dict begin
-841 366 50 25 ellipse_path
+528 366 50 25 ellipse_path
 stroke
 gsave 10 dict begin
-805 358 moveto
+492 358 moveto
 (hmysql)
 [12 18.72 12 9.36 12 6.72]
 xshow
@@ -988,55 +965,55 @@ end grestore
 end grestore
 
 %      metadata -> hmysql
-newpath 509 436 moveto
-517 433 526 430 535 428 curveto
-641 402 675 432 778 400 curveto
-786 398 793 394 800 391 curveto
+newpath 195 436 moveto
+203 433 212 430 221 428 curveto
+327 402 361 432 464 400 curveto
+472 397 479 394 487 390 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 802 394 moveto
-809 386 lineto
-799 388 lineto
+newpath 488 393 moveto
+496 386 lineto
+485 387 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 802 394 moveto
-809 386 lineto
-799 388 lineto
+newpath 488 393 moveto
+496 386 lineto
+485 387 lineto
 closepath
 stroke
 end grestore
 
 %      whelp -> metadata
-newpath 467 532 moveto
-467 519 467 504 467 490 curveto
+newpath 320 541 moveto
+287 523 237 497 200 479 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 471 490 moveto
-467 480 lineto
-464 490 lineto
+newpath 201 476 moveto
+191 474 lineto
+198 482 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 471 490 moveto
-467 480 lineto
-464 490 lineto
+newpath 201 476 moveto
+191 474 lineto
+198 482 lineto
 closepath
 stroke
 end grestore
 
 %      extlib
 gsave 10 dict begin
-843 86 42 25 ellipse_path
+529 86 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-815 78 moveto
+501 78 moveto
 (extlib)
 [10.56 12 6.72 6.72 6.72 12]
 xshow
@@ -1045,10 +1022,10 @@ end grestore
 
 %      hgdome
 gsave 10 dict begin
-969 278 54 25 ellipse_path
+655 278 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-929 270 moveto
+615 270 moveto
 (hgdome)
 [12 12 12 12 18.72 10.56]
 xshow
@@ -1056,86 +1033,86 @@ end grestore
 end grestore
 
 %      hgdome -> xml
-newpath 951 254 moveto
-939 239 922 221 905 208 curveto
-898 202 889 197 881 192 curveto
+newpath 637 254 moveto
+625 239 608 221 591 208 curveto
+584 202 575 197 567 192 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 882 189 moveto
-872 187 lineto
-879 195 lineto
+newpath 568 189 moveto
+558 187 lineto
+565 195 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 882 189 moveto
-872 187 lineto
-879 195 lineto
+newpath 568 189 moveto
+558 187 lineto
+565 195 lineto
 closepath
 stroke
 end grestore
 
 %      hmysql -> registry
-newpath 842 340 moveto
-842 332 842 323 842 314 curveto
+newpath 528 340 moveto
+528 332 529 323 529 314 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 846 314 moveto
-842 304 lineto
-839 314 lineto
+newpath 533 314 moveto
+529 304 lineto
+526 314 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 846 314 moveto
-842 304 lineto
-839 314 lineto
+newpath 533 314 moveto
+529 304 lineto
+526 314 lineto
 closepath
 stroke
 end grestore
 
 %      registry -> xml
-newpath 843 252 moveto
-843 239 843 224 843 210 curveto
+newpath 529 252 moveto
+529 239 529 224 529 210 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 847 210 moveto
-843 200 lineto
-840 210 lineto
+newpath 533 210 moveto
+529 200 lineto
+526 210 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 847 210 moveto
-843 200 lineto
-840 210 lineto
+newpath 533 210 moveto
+529 200 lineto
+526 210 lineto
 closepath
 stroke
 end grestore
 
 %      xml -> extlib
-newpath 843 148 moveto
-843 140 843 131 843 122 curveto
+newpath 529 148 moveto
+529 140 529 131 529 122 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 847 122 moveto
-843 112 lineto
-840 122 lineto
+newpath 533 122 moveto
+529 112 lineto
+526 122 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 847 122 moveto
-843 112 lineto
-840 122 lineto
+newpath 533 122 moveto
+529 112 lineto
+526 122 lineto
 closepath
 stroke
 end grestore
@@ -1145,47 +1122,51 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 224 576 moveto
-0 576 lineto
-0 540 lineto
-224 540 lineto
+newpath 604 590 moveto
+468 590 lineto
+468 526 lineto
+604 526 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 224 576 moveto
-0 576 lineto
-0 540 lineto
-224 540 lineto
+newpath 604 590 moveto
+468 590 lineto
+468 526 lineto
+604 526 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-8 550 moveto
-(DependencyAnalyzer)
-[17.28 10.56 12 10.56 12 12 10.56 12 10.56 12 17.28 12 10.56 6.72 12 10.56 10.56 7.92]
+476 564 moveto
+(Dependency)
+[17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
+xshow
+492 536 moveto
+(Analyzer)
+[17.28 12 10.56 6.72 12 10.56 10.56 7.92]
 xshow
 end grestore
 end grestore
 
 %      DependencyAnalyzer -> metadata
-newpath 136 540 moveto
-159 523 197 498 233 488 curveto
-271 477 371 488 408 480 curveto
-412 479 415 478 419 477 curveto
+newpath 513 526 moveto
+500 511 483 496 464 488 curveto
+440 477 248 485 221 480 curveto
+216 479 210 477 205 475 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 420 480 moveto
-428 473 lineto
-417 474 lineto
+newpath 206 472 moveto
+195 472 lineto
+204 478 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 420 480 moveto
-428 473 lineto
-417 474 lineto
+newpath 206 472 moveto
+195 472 lineto
+204 478 lineto
 closepath
 stroke
 end grestore
@@ -1195,22 +1176,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 390 472 moveto
-314 472 lineto
-314 436 lineto
-390 436 lineto
+newpath 76 472 moveto
+0 472 lineto
+0 436 lineto
+76 436 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 390 472 moveto
-314 472 lineto
-314 436 lineto
-390 436 lineto
+newpath 76 472 moveto
+0 472 lineto
+0 436 lineto
+76 436 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-322 446 moveto
+8 446 moveto
 (Getter)
 [17.28 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -1218,24 +1199,24 @@ end grestore
 end grestore
 
 %      Getter -> getter
-newpath 379 436 moveto
-384 433 390 430 396 428 curveto
-483 397 514 430 600 400 curveto
-607 397 613 394 619 391 curveto
+newpath 65 436 moveto
+70 433 76 430 82 428 curveto
+169 397 200 430 286 400 curveto
+293 397 299 394 305 391 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 621 394 moveto
-628 386 lineto
-618 388 lineto
+newpath 307 394 moveto
+314 386 lineto
+304 388 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 621 394 moveto
-628 386 lineto
-618 388 lineto
+newpath 307 394 moveto
+314 386 lineto
+304 388 lineto
 closepath
 stroke
 end grestore
@@ -1245,22 +1226,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 601 936 moveto
-523 936 lineto
-523 900 lineto
-601 900 lineto
+newpath 990 942 moveto
+912 942 lineto
+912 906 lineto
+990 906 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 601 936 moveto
-523 936 lineto
-523 900 lineto
-601 900 lineto
+newpath 990 942 moveto
+912 942 lineto
+912 906 lineto
+990 906 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-530 910 moveto
+919 916 moveto
 (Matita)
 [21.36 10.56 6.72 6.72 6.72 10.56]
 xshow
@@ -1268,67 +1249,90 @@ end grestore
 end grestore
 
 %      Matita -> cic_disambiguation
-newpath 559 900 moveto
-557 873 556 824 581 796 curveto
-646 725 696 745 782 740 curveto
+newpath 961 906 moveto
+978 875 1012 813 1035 775 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 782 743 moveto
-792 739 lineto
-782 737 lineto
+newpath 1038 776 moveto
+1040 766 lineto
+1032 773 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 782 743 moveto
-792 739 lineto
-782 737 lineto
+newpath 1038 776 moveto
+1040 766 lineto
+1032 773 lineto
 closepath
 stroke
 end grestore
 
 %      Matita -> grafite
-newpath 601 917 moveto
-689 915 898 908 925 892 curveto
-940 884 950 870 958 856 curveto
+newpath 912 914 moveto
+904 910 896 905 891 898 curveto
+883 889 880 876 879 864 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 961 858 moveto
-962 847 lineto
-955 855 lineto
+newpath 883 864 moveto
+879 854 lineto
+876 864 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 961 858 moveto
-962 847 lineto
-955 855 lineto
+newpath 883 864 moveto
+879 854 lineto
+876 864 lineto
 closepath
 stroke
 end grestore
 
 %      Matita -> paramodulation
-newpath 523 913 moveto
-496 909 463 902 453 892 curveto
-444 883 441 870 440 858 curveto
+newpath 912 923 moveto
+801 921 489 912 473 898 curveto
+464 889 460 877 459 864 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 463 864 moveto
+459 854 lineto
+456 864 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 463 864 moveto
+459 854 lineto
+456 864 lineto
+closepath
+stroke
+end grestore
+
+%      Matita -> hgdome
+newpath 990 922 moveto
+1056 919 1183 912 1197 898 curveto
+1221 872 1211 775 1211 740 curveto
+1211 740 1211 740 1211 454 curveto
+1211 351 865 301 719 284 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 444 858 moveto
-440 848 lineto
-437 858 lineto
+newpath 719 281 moveto
+709 283 lineto
+719 287 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 444 858 moveto
-440 848 lineto
-437 858 lineto
+newpath 719 281 moveto
+709 283 lineto
+719 287 lineto
 closepath
 stroke
 end grestore
@@ -1338,47 +1342,50 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 392 576 moveto
-242 576 lineto
-242 540 lineto
-392 540 lineto
+newpath 718 590 moveto
+622 590 lineto
+622 526 lineto
+718 526 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 392 576 moveto
-242 576 lineto
-242 540 lineto
-392 540 lineto
+newpath 718 590 moveto
+622 590 lineto
+622 526 lineto
+718 526 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-250 550 moveto
-(ProofChecker)
-[13.44 7.92 12 12 7.92 16.08 12 10.56 10.56 12 10.56 7.92]
+643 564 moveto
+(Proof)
+[13.44 7.92 12 12 7.92]
+xshow
+630 536 moveto
+(Checker)
+[16.08 12 10.56 10.56 12 10.56 7.92]
 xshow
 end grestore
 end grestore
 
 %      ProofChecker -> cic_proof_checking
-newpath 331 540 moveto
-346 523 369 498 396 488 curveto
-425 476 505 484 535 480 curveto
-546 478 557 476 568 474 curveto
+newpath 653 526 moveto
+643 511 630 496 613 488 curveto
+589 476 409 493 360 483 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 569 477 moveto
-578 472 lineto
-568 471 lineto
+newpath 362 480 moveto
+351 480 lineto
+359 486 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 569 477 moveto
-578 472 lineto
-568 471 lineto
+newpath 362 480 moveto
+351 480 lineto
+359 486 lineto
 closepath
 stroke
 end grestore
@@ -1388,22 +1395,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 774 840 moveto
-688 840 lineto
-688 804 lineto
-774 804 lineto
+newpath 658 846 moveto
+572 846 lineto
+572 810 lineto
+658 810 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 774 840 moveto
-688 840 lineto
-688 804 lineto
-774 804 lineto
+newpath 658 846 moveto
+572 846 lineto
+572 810 lineto
+658 810 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-695 814 moveto
+579 820 moveto
 (Uwobo)
 [17.28 17.28 12 12 12]
 xshow
@@ -1411,24 +1418,23 @@ end grestore
 end grestore
 
 %      Uwobo -> content_pres
-newpath 760 804 moveto
-766 801 772 798 778 796 curveto
-881 761 914 783 1019 760 curveto
-1026 759 1032 757 1039 755 curveto
+newpath 649 810 moveto
+655 807 661 804 667 802 curveto
+704 786 748 772 782 760 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 1040 758 moveto
-1049 752 lineto
-1038 752 lineto
+newpath 783 763 moveto
+792 757 lineto
+781 757 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 1040 758 moveto
-1049 752 lineto
-1038 752 lineto
+newpath 783 763 moveto
+792 757 lineto
+781 757 lineto
 closepath
 stroke
 end grestore
@@ -1438,22 +1444,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 670 840 moveto
-590 840 lineto
-590 804 lineto
-670 804 lineto
+newpath 756 846 moveto
+676 846 lineto
+676 810 lineto
+756 810 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 670 840 moveto
-590 840 lineto
-590 804 lineto
-670 804 lineto
+newpath 756 846 moveto
+676 846 lineto
+676 810 lineto
+756 810 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-597 814 moveto
+683 820 moveto
 (Whelp)
 [22.56 12 10.56 6.72 12]
 xshow
@@ -1461,46 +1467,45 @@ end grestore
 end grestore
 
 %      Whelp -> cic_disambiguation
-newpath 662 804 moveto
-668 801 673 798 679 796 curveto
-722 779 770 764 811 754 curveto
+newpath 743 810 moveto
+749 807 754 804 760 802 curveto
+835 773 858 782 935 766 curveto
+944 764 954 762 963 759 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 812 757 moveto
-821 752 lineto
-811 751 lineto
+newpath 964 762 moveto
+973 757 lineto
+963 756 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 812 757 moveto
-821 752 lineto
-811 751 lineto
+newpath 964 762 moveto
+973 757 lineto
+963 756 lineto
 closepath
 stroke
 end grestore
 
 %      Whelp -> content_pres
-newpath 660 804 moveto
-666 801 673 798 679 796 curveto
-825 751 871 790 1019 760 curveto
-1026 759 1033 757 1040 755 curveto
+newpath 743 810 moveto
+761 798 785 782 805 769 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 1041 758 moveto
-1050 752 lineto
-1039 752 lineto
+newpath 808 771 moveto
+814 763 lineto
+804 766 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 1041 758 moveto
-1050 752 lineto
-1039 752 lineto
+newpath 808 771 moveto
+814 763 lineto
+804 766 lineto
 closepath
 stroke
 end grestore