New version.

diff --git a/helm/papers/matita/librariesCluster.ps b/helm/papers/matita/librariesCluster.ps
index 94b0666878cc431f2a05c84c04632e55f448921f..c3b765e5e914b4c972b8086791b2bdfc56527917 100644 (file)
--- a/helm/papers/matita/librariesCluster.ps
+++ b/helm/papers/matita/librariesCluster.ps
@@ -3,7 +3,7 @@
 %%For: (sacerdot) Claudio Sacerdoti Coen,,,
 %%Title: G
 %%Pages: (atend)
-%%BoundingBox: 35 35 1108 1263
+%%BoundingBox: 35 35 1070 1263
 %%EndComments
 save
 %%BeginProlog
@@ -230,10 +230,10 @@ def
 
 %%EndSetup
 %%Page: 1 1
-%%PageBoundingBox: 36 36 1108 1263
+%%PageBoundingBox: 36 36 1070 1263
 %%PageOrientation: Portrait
 gsave
-35 35 1073 1228 boxprim clip newpath
+35 35 1035 1228 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 634 778 moveto
-1063 778 lineto
-1063 1162 lineto
-634 1162 lineto
+newpath 596 778 moveto
+1025 778 lineto
+1025 1162 lineto
+596 1162 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 634 778 moveto
-1063 778 lineto
-1063 1162 lineto
-634 1162 lineto
+newpath 596 778 moveto
+1025 778 lineto
+1025 1162 lineto
+596 1162 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-642 788 moveto
+604 788 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
@@ -346,10 +346,10 @@ end grestore
 
 %      acic_content
 gsave 10 dict begin
-752 848 75 25 ellipse_path
+714 848 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-691 840 moveto
+653 840 moveto
 (acic_content)
 [10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
 xshow
@@ -369,36 +369,36 @@ end grestore
 end grestore
 
 %      acic_content -> cic_acic
-newpath 717 825 moveto
-691 809 653 789 617 778 curveto
-592 769 579 786 557 770 curveto
-532 750 552 725 528 704 curveto
-490 668 465 687 416 668 curveto
-410 665 404 663 398 660 curveto
+newpath 681 825 moveto
+658 810 625 790 594 778 curveto
+581 772 574 779 562 770 curveto
+538 749 557 725 533 704 curveto
+493 667 467 688 416 668 curveto
+410 665 403 663 397 660 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 399 657 moveto
-389 655 lineto
-396 663 lineto
+newpath 398 657 moveto
+388 655 lineto
+395 663 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 399 657 moveto
-389 655 lineto
-396 663 lineto
+newpath 398 657 moveto
+388 655 lineto
+395 663 lineto
 closepath
 stroke
 end grestore
 
 %      cic_disambiguation
 gsave 10 dict begin
-752 936 109 25 ellipse_path
+714 936 109 25 ellipse_path
 stroke
 gsave 10 dict begin
-657 928 moveto
+619 928 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
@@ -406,22 +406,22 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> acic_content
-newpath 752 910 moveto
-752 902 752 893 752 884 curveto
+newpath 714 910 moveto
+714 902 714 893 714 884 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 756 884 moveto
-752 874 lineto
-749 884 lineto
+newpath 718 884 moveto
+714 874 lineto
+711 884 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 756 884 moveto
-752 874 lineto
-749 884 lineto
+newpath 718 884 moveto
+714 874 lineto
+711 884 lineto
 closepath
 stroke
 end grestore
@@ -439,32 +439,32 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> cic_unification
-newpath 672 918 moveto
-604 903 507 881 439 865 curveto
+newpath 639 917 moveto
+579 903 495 882 435 867 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 439 862 moveto
-429 863 lineto
-438 868 lineto
+newpath 435 864 moveto
+425 865 lineto
+434 870 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 439 862 moveto
-429 863 lineto
-438 868 lineto
+newpath 435 864 moveto
+425 865 lineto
+434 870 lineto
 closepath
 stroke
 end grestore
 
 %      whelp
 gsave 10 dict begin
-474 736 44 25 ellipse_path
+479 736 44 25 ellipse_path
 stroke
 gsave 10 dict begin
-444 728 moveto
+449 728 moveto
 (whelp)
 [17.28 12 10.56 6.72 12]
 xshow
@@ -472,32 +472,33 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> whelp
-newpath 718 912 moveto
-666 874 565 801 510 762 curveto
+newpath 679 912 moveto
+664 900 645 887 629 874 curveto
+586 838 538 794 509 765 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 512 759 moveto
-502 756 lineto
-508 765 lineto
+newpath 512 763 moveto
+502 758 lineto
+507 768 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 512 759 moveto
-502 756 lineto
-508 765 lineto
+newpath 512 763 moveto
+502 758 lineto
+507 768 lineto
 closepath
 stroke
 end grestore
 
 %      content_pres
 gsave 10 dict begin
-957 936 76 25 ellipse_path
+919 936 76 25 ellipse_path
 stroke
 gsave 10 dict begin
-895 928 moveto
+857 928 moveto
 (content_pres)
 [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
 xshow
@@ -505,22 +506,22 @@ end grestore
 end grestore
 
 %      content_pres -> acic_content
-newpath 910 916 moveto
-879 903 840 886 808 872 curveto
+newpath 872 916 moveto
+841 903 802 886 770 872 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 810 869 moveto
-799 868 lineto
-807 875 lineto
+newpath 772 869 moveto
+761 868 lineto
+769 875 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 810 869 moveto
-799 868 lineto
-807 875 lineto
+newpath 772 869 moveto
+761 868 lineto
+769 875 lineto
 closepath
 stroke
 end grestore
@@ -538,69 +539,69 @@ end grestore
 end grestore
 
 %      content_pres -> utf8_macros
-newpath 949 911 moveto
-937 873 917 799 917 736 curveto
-917 736 917 736 917 542 curveto
-917 492 900 436 888 401 curveto
+newpath 916 910 moveto
+911 872 903 799 903 736 curveto
+903 736 903 736 903 542 curveto
+903 492 891 437 883 402 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 891 399 moveto
-884 391 lineto
-884 402 lineto
+newpath 886 401 moveto
+880 392 lineto
+880 403 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 891 399 moveto
-884 391 lineto
-884 402 lineto
+newpath 886 401 moveto
+880 392 lineto
+880 403 lineto
 closepath
 stroke
 end grestore
 
 %      grafite_parser
 gsave 10 dict begin
-724 1128 81 25 ellipse_path
+686 1128 81 25 ellipse_path
 stroke
 gsave 10 dict begin
-657 1120 moveto
+619 1120 moveto
 (grafite_parser)
 [12 7.92 10.56 7.92 6.72 6.72 10.56 12 12 10.56 7.92 9.36 10.56 7.92]
 xshow
 end grestore
 end grestore
 
-%      sheath
+%      lexicon
 gsave 10 dict begin
-752 1024 45 25 ellipse_path
+714 1024 50 25 ellipse_path
 stroke
 gsave 10 dict begin
-721 1016 moveto
-(sheath)
-[9.36 12 10.56 10.56 6.72 12]
+678 1016 moveto
+(lexicon)
+[6.72 10.56 12 6.72 10.56 12 12]
 xshow
 end grestore
 end grestore
 
-%      grafite_parser -> sheath
-newpath 731 1103 moveto
-734 1090 739 1074 743 1059 curveto
+%      grafite_parser -> lexicon
+newpath 693 1103 moveto
+696 1090 701 1074 705 1059 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 746 1059 moveto
-745 1049 lineto
-740 1058 lineto
+newpath 708 1059 moveto
+707 1049 lineto
+702 1058 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 746 1059 moveto
-745 1049 lineto
-740 1058 lineto
+newpath 708 1059 moveto
+707 1049 lineto
+702 1058 lineto
 closepath
 stroke
 end grestore
@@ -618,10 +619,10 @@ end grestore
 end grestore
 
 %      grafite_parser -> grafite
-newpath 670 1108 moveto
-661 1106 651 1103 642 1102 curveto
-625 1098 498 1104 484 1094 curveto
-449 1066 489 1027 455 998 curveto
+newpath 632 1109 moveto
+623 1106 613 1104 604 1102 curveto
+591 1099 495 1102 484 1094 curveto
+450 1066 489 1027 455 998 curveto
 389 938 345 981 258 962 curveto
 243 959 227 955 213 951 curveto
 stroke
@@ -642,44 +643,44 @@ closepath
 stroke
 end grestore
 
-%      sheath -> cic_disambiguation
-newpath 752 998 moveto
-752 990 752 981 752 972 curveto
+%      lexicon -> cic_disambiguation
+newpath 714 998 moveto
+714 990 714 981 714 972 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 756 972 moveto
-752 962 lineto
-749 972 lineto
+newpath 718 972 moveto
+714 962 lineto
+711 972 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 756 972 moveto
-752 962 lineto
-749 972 lineto
+newpath 718 972 moveto
+714 962 lineto
+711 972 lineto
 closepath
 stroke
 end grestore
 
-%      sheath -> content_pres
-newpath 789 1008 moveto
-820 995 865 976 901 960 curveto
+%      lexicon -> content_pres
+newpath 753 1007 moveto
+784 994 828 976 862 960 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 902 963 moveto
-910 956 lineto
-899 957 lineto
+newpath 864 963 moveto
+872 956 lineto
+861 956 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 902 963 moveto
-910 956 lineto
-899 957 lineto
+newpath 864 963 moveto
+872 956 lineto
+861 956 lineto
 closepath
 stroke
 end grestore
@@ -755,21 +756,21 @@ newpath 289 914 moveto
 279 903 268 889 263 874 curveto
 249 833 234 808 263 778 curveto
 275 765 399 774 415 770 curveto
-423 768 430 764 437 761 curveto
+424 768 432 764 440 760 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 439 764 moveto
-446 756 lineto
-436 758 lineto
+newpath 442 763 moveto
+449 755 lineto
+439 757 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 439 764 moveto
-446 756 lineto
-436 758 lineto
+newpath 442 763 moveto
+449 755 lineto
+439 757 lineto
 closepath
 stroke
 end grestore
@@ -1191,22 +1192,22 @@ stroke
 end grestore
 
 %      whelp -> metadata
-newpath 477 711 moveto
-479 699 480 685 481 672 curveto
+newpath 480 711 moveto
+481 699 482 685 482 672 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 484 672 moveto
-482 662 lineto
-478 672 lineto
+newpath 485 672 moveto
+483 662 lineto
+479 672 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 484 672 moveto
-482 662 lineto
-478 672 lineto
+newpath 485 672 moveto
+483 662 lineto
+479 672 lineto
 closepath
 stroke
 end grestore
@@ -1387,26 +1388,26 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 711 768 moveto
-575 768 lineto
-575 704 lineto
-711 704 lineto
+newpath 716 768 moveto
+580 768 lineto
+580 704 lineto
+716 704 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 711 768 moveto
-575 768 lineto
-575 704 lineto
-711 704 lineto
+newpath 716 768 moveto
+580 768 lineto
+580 704 lineto
+716 704 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-583 742 moveto
+588 742 moveto
 (Dependency)
 [17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
 xshow
-599 714 moveto
+604 714 moveto
 (Analyzer)
 [17.28 12 10.56 6.72 12 10.56 10.56 7.92]
 xshow
@@ -1414,22 +1415,22 @@ end grestore
 end grestore
 
 %      DependencyAnalyzer -> metadata
-newpath 592 704 moveto
-570 691 546 675 526 662 curveto
+newpath 595 704 moveto
+573 691 547 675 527 662 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 527 659 moveto
-517 657 lineto
-524 665 lineto
+newpath 528 659 moveto
+518 657 lineto
+525 665 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 527 659 moveto
-517 657 lineto
-524 665 lineto
+newpath 528 659 moveto
+518 657 lineto
+525 665 lineto
 closepath
 stroke
 end grestore
@@ -1487,119 +1488,75 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 394 1226 moveto
-316 1226 lineto
-316 1190 lineto
-394 1190 lineto
+newpath 200 1226 moveto
+122 1226 lineto
+122 1190 lineto
+200 1190 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 394 1226 moveto
-316 1226 lineto
-316 1190 lineto
-394 1190 lineto
+newpath 200 1226 moveto
+122 1226 lineto
+122 1190 lineto
+200 1190 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-323 1200 moveto
+129 1200 moveto
 (Matita)
 [21.36 10.56 6.72 6.72 6.72 10.56]
 xshow
 end grestore
 end grestore
 
-%      Matita -> cic_disambiguation
-newpath 372 1190 moveto
-393 1167 429 1129 458 1094 curveto
-493 1052 487 1028 531 998 curveto
-565 975 607 961 646 951 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 647 954 moveto
-656 949 lineto
-646 948 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 647 954 moveto
-656 949 lineto
-646 948 lineto
-closepath
-stroke
-end grestore
-
 %      Matita -> grafite_parser
-newpath 394 1205 moveto
-450 1199 556 1186 642 1162 curveto
-651 1160 660 1156 669 1153 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 670 1156 moveto
-678 1149 lineto
-667 1150 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 670 1156 moveto
-678 1149 lineto
-667 1150 lineto
-closepath
-stroke
-end grestore
-
-%      Matita -> paramodulation
-newpath 355 1190 moveto
-355 1160 355 1099 355 1060 curveto
+newpath 200 1205 moveto
+294 1199 529 1181 604 1162 curveto
+613 1160 622 1157 631 1153 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 359 1060 moveto
-355 1050 lineto
-352 1060 lineto
+newpath 632 1156 moveto
+641 1150 lineto
+630 1150 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 359 1060 moveto
-355 1050 lineto
-352 1060 lineto
+newpath 632 1156 moveto
+641 1150 lineto
+630 1150 lineto
 closepath
 stroke
 end grestore
 
 %      Matita -> grafite_engine
-newpath 336 1190 moveto
-303 1158 236 1094 194 1056 curveto
+newpath 161 1190 moveto
+161 1160 161 1099 161 1060 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 197 1054 moveto
-187 1049 lineto
-192 1059 lineto
+newpath 165 1060 moveto
+161 1050 lineto
+158 1060 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 197 1054 moveto
-187 1049 lineto
-192 1059 lineto
+newpath 165 1060 moveto
+161 1050 lineto
+158 1060 lineto
 closepath
 stroke
 end grestore
 
 %      Matita -> hgdome
-newpath 316 1204 moveto
-253 1196 129 1171 64 1094 curveto
-44 1069 48 1055 48 1024 curveto
+newpath 141 1190 moveto
+118 1169 83 1132 64 1094 curveto
+50 1065 48 1055 48 1024 curveto
 48 1024 48 1024 48 454 curveto
 48 327 166 338 285 296 curveto
 334 278 473 269 557 265 curveto
@@ -1679,22 +1636,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 626 1042 moveto
-540 1042 lineto
-540 1006 lineto
-626 1006 lineto
+newpath 588 1042 moveto
+502 1042 lineto
+502 1006 lineto
+588 1006 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 626 1042 moveto
-540 1042 lineto
-540 1006 lineto
-626 1006 lineto
+newpath 588 1042 moveto
+502 1042 lineto
+502 1006 lineto
+588 1006 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-547 1016 moveto
+509 1016 moveto
 (Uwobo)
 [17.28 17.28 12 12 12]
 xshow
@@ -1702,24 +1659,24 @@ end grestore
 end grestore
 
 %      Uwobo -> content_pres
-newpath 612 1006 moveto
-618 1003 624 1000 630 998 curveto
-733 963 766 985 871 962 curveto
-878 961 884 959 891 957 curveto
+newpath 574 1006 moveto
+580 1003 586 1000 592 998 curveto
+695 963 728 985 833 962 curveto
+840 961 846 959 853 957 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 892 960 moveto
-901 954 lineto
-890 954 lineto
+newpath 854 960 moveto
+863 954 lineto
+852 954 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 892 960 moveto
-901 954 lineto
-890 954 lineto
+newpath 854 960 moveto
+863 954 lineto
+852 954 lineto
 closepath
 stroke
 end grestore
@@ -1729,22 +1686,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 764 1226 moveto
-684 1226 lineto
-684 1190 lineto
-764 1190 lineto
+newpath 726 1226 moveto
+646 1226 lineto
+646 1190 lineto
+726 1190 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 764 1226 moveto
-684 1226 lineto
-684 1190 lineto
-764 1190 lineto
+newpath 726 1226 moveto
+646 1226 lineto
+646 1190 lineto
+726 1190 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-691 1200 moveto
+653 1200 moveto
 (Whelp)
 [22.56 12 10.56 6.72 12]
 xshow
@@ -1752,22 +1709,22 @@ end grestore
 end grestore
 
 %      Whelp -> grafite_parser
-newpath 724 1190 moveto
-724 1182 724 1173 724 1164 curveto
+newpath 686 1190 moveto
+686 1182 686 1173 686 1164 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 728 1164 moveto
-724 1154 lineto
-721 1164 lineto
+newpath 690 1164 moveto
+686 1154 lineto
+683 1164 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 728 1164 moveto
-724 1154 lineto
-721 1164 lineto
+newpath 690 1164 moveto
+686 1154 lineto
+683 1164 lineto
 closepath
 stroke
 end grestore