From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 25 Nov 2005 12:12:07 +0000 (+0000)
Subject: labels
X-Git-Tag: make_still_working~8100
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fceef5d991d78de6e162efcdd94600dc0d903368;p=helm.git

labels
---

diff --git a/helm/papers/matita/libraries.dot b/helm/papers/matita/libraries.dot
index 78259d774..2db2aa509 100644
--- a/helm/papers/matita/libraries.dot
+++ b/helm/papers/matita/libraries.dot
@@ -82,10 +82,10 @@ digraph G {
   /* apps */
   subgraph applications {
     node [shape=plaintext,style=filled,fillcolor=slategray2];
-    DependencyAnalyzer;
+    DependencyAnalyzer [label="Dependency\nAnalyzer"];
     Getter;
     Matita;
-    ProofChecker;
+    ProofChecker [label="Proof\nChecker"];
     Uwobo;
     Whelp;
   }
diff --git a/helm/papers/matita/libraries.ps b/helm/papers/matita/libraries.ps
index 26cbc87f6..aaf58d5ac 100644
--- a/helm/papers/matita/libraries.ps
+++ b/helm/papers/matita/libraries.ps
@@ -3,7 +3,7 @@
 %%For: (zacchiro) Stefano Zacchiroli,,,
 %%Title: G
 %%Pages: (atend)
-%%BoundingBox: 35 35 866 873
+%%BoundingBox: 35 35 778 885
 %%EndComments
 save
 %%BeginProlog
@@ -230,10 +230,10 @@ def
 
 %%EndSetup
 %%Page: 1 1
-%%PageBoundingBox: 36 36 866 873
+%%PageBoundingBox: 36 36 778 885
 %%PageOrientation: Portrait
 gsave
-35 35 831 838 boxprim clip newpath
+35 35 743 850 boxprim clip newpath
 36 36 translate
 0 0 1 beginpage
 0 0 translate 0 rotate
@@ -242,10 +242,10 @@ gsave
 
 %	acic_content
 gsave 10 dict begin
-583 562 75 25 ellipse_path
+495 574 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-522 554 moveto
+434 566 moveto
 (acic_content)
 [10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
 xshow
@@ -254,10 +254,10 @@ end grestore
 
 %	cic_acic
 gsave 10 dict begin
-562 474 54 25 ellipse_path
+464 480 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-522 466 moveto
+424 472 moveto
 (cic_acic)
 [10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
 xshow
@@ -265,32 +265,32 @@ end grestore
 end grestore
 
 %	acic_content -> cic_acic
-newpath 577 537 moveto
-575 528 573 518 570 509 curveto
+newpath 487 548 moveto
+483 538 479 526 475 515 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 573 508 moveto
-568 499 lineto
-567 509 lineto
+newpath 478 514 moveto
+472 505 lineto
+472 516 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 573 508 moveto
-568 499 lineto
-567 509 lineto
+newpath 478 514 moveto
+472 505 lineto
+472 516 lineto
 closepath
 stroke
 end grestore
 
 %	cic_proof_checking
 gsave 10 dict begin
-468 386 110 25 ellipse_path
+365 386 110 25 ellipse_path
 stroke
 gsave 10 dict begin
-372 378 moveto
+269 378 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
@@ -298,32 +298,32 @@ end grestore
 end grestore
 
 %	cic_acic -> cic_proof_checking
-newpath 537 451 moveto
-526 441 513 429 501 418 curveto
+newpath 440 457 moveto
+427 445 412 431 399 418 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 504 416 moveto
-494 411 lineto
-499 421 lineto
+newpath 401 415 moveto
+391 411 lineto
+396 420 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 504 416 moveto
-494 411 lineto
-499 421 lineto
+newpath 401 415 moveto
+391 411 lineto
+396 420 lineto
 closepath
 stroke
 end grestore
 
 %	cic_disambiguation
 gsave 10 dict begin
-426 650 109 25 ellipse_path
+338 662 109 25 ellipse_path
 stroke
 gsave 10 dict begin
-331 642 moveto
+243 654 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
@@ -331,32 +331,32 @@ end grestore
 end grestore
 
 %	cic_disambiguation -> acic_content
-newpath 468 626 moveto
-489 615 514 601 535 589 curveto
+newpath 380 638 moveto
+401 627 426 613 447 601 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 537 592 moveto
-544 584 lineto
-534 586 lineto
+newpath 449 604 moveto
+456 596 lineto
+446 598 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 537 592 moveto
-544 584 lineto
-534 586 lineto
+newpath 449 604 moveto
+456 596 lineto
+446 598 lineto
 closepath
 stroke
 end grestore
 
 %	cic_unification
 gsave 10 dict begin
-402 562 86 25 ellipse_path
+314 574 86 25 ellipse_path
 stroke
 gsave 10 dict begin
-330 554 moveto
+242 566 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
@@ -364,32 +364,32 @@ end grestore
 end grestore
 
 %	cic_disambiguation -> cic_unification
-newpath 419 625 moveto
-417 616 414 607 412 598 curveto
+newpath 331 637 moveto
+329 628 326 619 324 610 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 415 597 moveto
-409 588 lineto
-409 599 lineto
+newpath 327 609 moveto
+321 600 lineto
+321 611 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 415 597 moveto
-409 588 lineto
-409 599 lineto
+newpath 327 609 moveto
+321 600 lineto
+321 611 lineto
 closepath
 stroke
 end grestore
 
 %	whelp
 gsave 10 dict begin
-252 562 44 25 ellipse_path
+164 574 44 25 ellipse_path
 stroke
 gsave 10 dict begin
-222 554 moveto
+134 566 moveto
 (whelp)
 [17.28 12 10.56 6.72 12]
 xshow
@@ -397,32 +397,32 @@ end grestore
 end grestore
 
 %	cic_disambiguation -> whelp
-newpath 380 627 moveto
-353 614 320 597 295 584 curveto
+newpath 292 639 moveto
+265 626 232 609 207 596 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 296 581 moveto
-286 579 lineto
-293 587 lineto
+newpath 208 593 moveto
+198 591 lineto
+205 599 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 296 581 moveto
-286 579 lineto
-293 587 lineto
+newpath 208 593 moveto
+198 591 lineto
+205 599 lineto
 closepath
 stroke
 end grestore
 
 %	content_pres
 gsave 10 dict begin
-631 650 76 25 ellipse_path
+543 662 76 25 ellipse_path
 stroke
 gsave 10 dict begin
-569 642 moveto
+481 654 moveto
 (content_pres)
 [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
 xshow
@@ -430,32 +430,32 @@ end grestore
 end grestore
 
 %	content_pres -> acic_content
-newpath 617 625 moveto
-612 616 607 606 602 596 curveto
+newpath 529 637 moveto
+524 628 519 618 514 608 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 605 594 moveto
-597 587 lineto
-599 597 lineto
+newpath 517 606 moveto
+509 599 lineto
+511 609 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 605 594 moveto
-597 587 lineto
-599 597 lineto
+newpath 517 606 moveto
+509 599 lineto
+511 609 lineto
 closepath
 stroke
 end grestore
 
 %	utf8_macros
 gsave 10 dict begin
-753 562 75 25 ellipse_path
+665 574 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-692 554 moveto
+604 566 moveto
 (utf8_macros)
 [12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
 xshow
@@ -463,32 +463,32 @@ end grestore
 end grestore
 
 %	content_pres -> utf8_macros
-newpath 663 627 moveto
-678 616 697 603 713 591 curveto
+newpath 575 639 moveto
+590 628 609 615 625 603 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 715 594 moveto
-721 585 lineto
-711 588 lineto
+newpath 627 606 moveto
+633 597 lineto
+623 600 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 715 594 moveto
-721 585 lineto
-711 588 lineto
+newpath 627 606 moveto
+633 597 lineto
+623 600 lineto
 closepath
 stroke
 end grestore
 
 %	grafite
 gsave 10 dict begin
-689 738 46 25 ellipse_path
+601 750 46 25 ellipse_path
 stroke
 gsave 10 dict begin
-657 730 moveto
+569 742 moveto
 (grafite)
 [12 7.92 10.56 7.92 6.72 6.72 10.56]
 xshow
@@ -496,54 +496,54 @@ end grestore
 end grestore
 
 %	grafite -> content_pres
-newpath 673 714 moveto
-667 705 659 694 653 684 curveto
+newpath 585 726 moveto
+579 717 571 706 565 696 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 655 681 moveto
-647 675 lineto
-650 685 lineto
+newpath 567 693 moveto
+559 687 lineto
+562 697 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 655 681 moveto
-647 675 lineto
-650 685 lineto
+newpath 567 693 moveto
+559 687 lineto
+562 697 lineto
 closepath
 stroke
 end grestore
 
 %	cic_unification -> cic_proof_checking
-newpath 425 537 moveto
-434 526 443 513 449 500 curveto
-459 475 465 445 466 422 curveto
+newpath 329 549 moveto
+335 538 342 524 346 512 curveto
+356 482 360 447 362 422 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 469 422 moveto
-467 412 lineto
-463 422 lineto
+newpath 365 422 moveto
+363 412 lineto
+359 422 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 469 422 moveto
-467 412 lineto
-463 422 lineto
+newpath 365 422 moveto
+363 412 lineto
+359 422 lineto
 closepath
 stroke
 end grestore
 
 %	tactics
 gsave 10 dict begin
-252 650 45 25 ellipse_path
+164 662 45 25 ellipse_path
 stroke
 gsave 10 dict begin
-221 642 moveto
+133 654 moveto
 (tactics)
 [6.72 10.56 10.56 6.72 6.72 10.56 9.36]
 xshow
@@ -551,53 +551,53 @@ end grestore
 end grestore
 
 %	tactics -> cic_unification
-newpath 284 631 moveto
-304 620 332 603 354 590 curveto
+newpath 196 643 moveto
+216 632 244 615 266 602 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 356 593 moveto
-363 585 lineto
-353 587 lineto
+newpath 268 605 moveto
+275 597 lineto
+265 599 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 356 593 moveto
-363 585 lineto
-353 587 lineto
+newpath 268 605 moveto
+275 597 lineto
+265 599 lineto
 closepath
 stroke
 end grestore
 
 %	tactics -> whelp
-newpath 252 624 moveto
-252 616 252 607 252 598 curveto
+newpath 164 636 moveto
+164 628 164 619 164 610 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 256 598 moveto
-252 588 lineto
-249 598 lineto
+newpath 168 610 moveto
+164 600 lineto
+161 610 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 256 598 moveto
-252 588 lineto
-249 598 lineto
+newpath 168 610 moveto
+164 600 lineto
+161 610 lineto
 closepath
 stroke
 end grestore
 
 %	paramodulation
 gsave 10 dict begin
-279 738 90 25 ellipse_path
+191 750 90 25 ellipse_path
 stroke
 gsave 10 dict begin
-203 730 moveto
+115 742 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
@@ -605,32 +605,32 @@ end grestore
 end grestore
 
 %	paramodulation -> tactics
-newpath 271 713 moveto
-268 704 265 694 263 685 curveto
+newpath 183 725 moveto
+180 716 177 706 175 697 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 266 684 moveto
-260 675 lineto
-260 686 lineto
+newpath 178 696 moveto
+172 687 lineto
+172 698 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 266 684 moveto
-260 675 lineto
-260 686 lineto
+newpath 178 696 moveto
+172 687 lineto
+172 698 lineto
 closepath
 stroke
 end grestore
 
 %	cic
 gsave 10 dict begin
-462 298 28 25 ellipse_path
+359 298 28 25 ellipse_path
 stroke
 gsave 10 dict begin
-448 290 moveto
+345 290 moveto
 (cic)
 [10.56 6.72 10.56]
 xshow
@@ -639,10 +639,10 @@ end grestore
 
 %	urimanager
 gsave 10 dict begin
-456 210 70 25 ellipse_path
+353 210 70 25 ellipse_path
 stroke
 gsave 10 dict begin
-400 202 moveto
+297 202 moveto
 (urimanager)
 [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
 xshow
@@ -650,32 +650,32 @@ end grestore
 end grestore
 
 %	cic -> urimanager
-newpath 460 272 moveto
-459 264 459 255 458 246 curveto
+newpath 357 272 moveto
+356 264 356 255 355 246 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 462 246 moveto
-458 236 lineto
-455 246 lineto
+newpath 359 246 moveto
+355 236 lineto
+352 246 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 462 246 moveto
-458 236 lineto
-455 246 lineto
+newpath 359 246 moveto
+355 236 lineto
+352 246 lineto
 closepath
 stroke
 end grestore
 
 %	xml
 gsave 10 dict begin
-312 122 33 25 ellipse_path
+209 122 33 25 ellipse_path
 stroke
 gsave 10 dict begin
-293 114 moveto
+190 114 moveto
 (xml)
 [12 18.72 6.72]
 xshow
@@ -683,55 +683,55 @@ end grestore
 end grestore
 
 %	cic -> xml
-newpath 487 285 moveto
-504 274 525 257 536 236 curveto
-545 215 549 202 536 184 curveto
-513 155 414 136 356 127 curveto
+newpath 384 285 moveto
+401 274 422 257 433 236 curveto
+442 215 446 202 433 184 curveto
+410 155 311 136 253 127 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 356 124 moveto
-346 126 lineto
-356 130 lineto
+newpath 253 124 moveto
+243 126 lineto
+253 130 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 356 124 moveto
-346 126 lineto
-356 130 lineto
+newpath 253 124 moveto
+243 126 lineto
+253 130 lineto
 closepath
 stroke
 end grestore
 
 %	cic_proof_checking -> cic
-newpath 466 360 moveto
-465 352 465 343 464 334 curveto
+newpath 363 360 moveto
+362 352 362 343 361 334 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 468 334 moveto
-464 324 lineto
-461 334 lineto
+newpath 365 334 moveto
+361 324 lineto
+358 334 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 468 334 moveto
-464 324 lineto
-461 334 lineto
+newpath 365 334 moveto
+361 324 lineto
+358 334 lineto
 closepath
 stroke
 end grestore
 
 %	getter
 gsave 10 dict begin
-301 298 42 25 ellipse_path
+198 298 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-273 290 moveto
+170 290 moveto
 (getter)
 [12 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -739,53 +739,53 @@ end grestore
 end grestore
 
 %	cic_proof_checking -> getter
-newpath 423 362 moveto
-398 349 367 332 342 320 curveto
+newpath 320 362 moveto
+295 349 264 332 239 320 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 343 317 moveto
-333 315 lineto
-340 323 lineto
+newpath 240 317 moveto
+230 315 lineto
+237 323 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 343 317 moveto
-333 315 lineto
-340 323 lineto
+newpath 240 317 moveto
+230 315 lineto
+237 323 lineto
 closepath
 stroke
 end grestore
 
 %	getter -> urimanager
-newpath 332 280 moveto
-354 268 384 250 409 237 curveto
+newpath 229 280 moveto
+251 268 281 250 306 237 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 411 240 moveto
-418 232 lineto
-408 234 lineto
+newpath 308 240 moveto
+315 232 lineto
+305 234 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 411 240 moveto
-418 232 lineto
-408 234 lineto
+newpath 308 240 moveto
+315 232 lineto
+305 234 lineto
 closepath
 stroke
 end grestore
 
 %	registry
 gsave 10 dict begin
-186 210 52 25 ellipse_path
+83 210 52 25 ellipse_path
 stroke
 gsave 10 dict begin
-148 202 moveto
+45 202 moveto
 (registry)
 [7.92 10.56 12 6.72 9.36 6.72 7.92 12]
 xshow
@@ -793,32 +793,32 @@ end grestore
 end grestore
 
 %	getter -> registry
-newpath 275 278 moveto
-260 266 240 251 222 238 curveto
+newpath 172 278 moveto
+157 266 137 251 119 238 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 224 235 moveto
-214 232 lineto
-220 241 lineto
+newpath 121 235 moveto
+111 232 lineto
+117 241 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 224 235 moveto
-214 232 lineto
-220 241 lineto
+newpath 121 235 moveto
+111 232 lineto
+117 241 lineto
 closepath
 stroke
 end grestore
 
 %	metadata
 gsave 10 dict begin
-186 386 58 25 ellipse_path
+83 386 58 25 ellipse_path
 stroke
 gsave 10 dict begin
-142 378 moveto
+39 378 moveto
 (metadata)
 [18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
 xshow
@@ -826,54 +826,54 @@ end grestore
 end grestore
 
 %	metadata -> cic
-newpath 230 369 moveto
-238 366 246 363 254 360 curveto
-313 340 382 319 424 308 curveto
+newpath 127 369 moveto
+135 366 143 363 151 360 curveto
+210 340 279 319 321 308 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 425 311 moveto
-434 305 lineto
-423 305 lineto
+newpath 322 311 moveto
+331 305 lineto
+320 305 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 425 311 moveto
-434 305 lineto
-423 305 lineto
+newpath 322 311 moveto
+331 305 lineto
+320 305 lineto
 closepath
 stroke
 end grestore
 
 %	metadata -> getter
-newpath 215 364 moveto
-230 352 250 337 267 324 curveto
+newpath 112 364 moveto
+127 352 147 337 164 324 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 269 327 moveto
-275 318 lineto
-265 321 lineto
+newpath 166 327 moveto
+172 318 lineto
+162 321 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 269 327 moveto
-275 318 lineto
-265 321 lineto
+newpath 166 327 moveto
+172 318 lineto
+162 321 lineto
 closepath
 stroke
 end grestore
 
 %	hmysql
 gsave 10 dict begin
-186 298 50 25 ellipse_path
+83 298 50 25 ellipse_path
 stroke
 gsave 10 dict begin
-150 290 moveto
+47 290 moveto
 (hmysql)
 [12 18.72 12 9.36 12 6.72]
 xshow
@@ -881,54 +881,54 @@ end grestore
 end grestore
 
 %	metadata -> hmysql
-newpath 186 360 moveto
-186 352 186 343 186 334 curveto
+newpath 83 360 moveto
+83 352 83 343 83 334 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 190 334 moveto
-186 324 lineto
-183 334 lineto
+newpath 87 334 moveto
+83 324 lineto
+80 334 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 190 334 moveto
-186 324 lineto
-183 334 lineto
+newpath 87 334 moveto
+83 324 lineto
+80 334 lineto
 closepath
 stroke
 end grestore
 
 %	whelp -> metadata
-newpath 251 536 moveto
-250 512 245 476 233 448 curveto
-228 437 222 427 215 418 curveto
+newpath 165 548 moveto
+164 522 161 480 145 448 curveto
+139 436 129 425 119 415 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 218 416 moveto
-209 410 lineto
-212 420 lineto
+newpath 122 413 moveto
+112 408 lineto
+117 418 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 218 416 moveto
-209 410 lineto
-212 420 lineto
+newpath 122 413 moveto
+112 408 lineto
+117 418 lineto
 closepath
 stroke
 end grestore
 
 %	extlib
 gsave 10 dict begin
-312 34 42 25 ellipse_path
+209 34 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-284 26 moveto
+181 26 moveto
 (extlib)
 [10.56 12 6.72 6.72 6.72 12]
 xshow
@@ -937,10 +937,10 @@ end grestore
 
 %	hgdome
 gsave 10 dict begin
-312 210 54 25 ellipse_path
+209 210 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-272 202 moveto
+169 202 moveto
 (hgdome)
 [12 12 12 12 18.72 10.56]
 xshow
@@ -948,85 +948,85 @@ end grestore
 end grestore
 
 %	hgdome -> xml
-newpath 312 184 moveto
-312 176 312 167 312 158 curveto
+newpath 209 184 moveto
+209 176 209 167 209 158 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 316 158 moveto
-312 148 lineto
-309 158 lineto
+newpath 213 158 moveto
+209 148 lineto
+206 158 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 316 158 moveto
-312 148 lineto
-309 158 lineto
+newpath 213 158 moveto
+209 148 lineto
+206 158 lineto
 closepath
 stroke
 end grestore
 
 %	hmysql -> registry
-newpath 186 272 moveto
-186 264 186 255 186 246 curveto
+newpath 83 272 moveto
+83 264 83 255 83 246 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 190 246 moveto
-186 236 lineto
-183 246 lineto
+newpath 87 246 moveto
+83 236 lineto
+80 246 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 190 246 moveto
-186 236 lineto
-183 246 lineto
+newpath 87 246 moveto
+83 236 lineto
+80 246 lineto
 closepath
 stroke
 end grestore
 
 %	registry -> xml
-newpath 216 189 moveto
-235 176 260 159 279 145 curveto
+newpath 113 189 moveto
+132 176 157 159 176 145 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 281 148 moveto
-287 139 lineto
-277 142 lineto
+newpath 178 148 moveto
+184 139 lineto
+174 142 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 281 148 moveto
-287 139 lineto
-277 142 lineto
+newpath 178 148 moveto
+184 139 lineto
+174 142 lineto
 closepath
 stroke
 end grestore
 
 %	xml -> extlib
-newpath 312 96 moveto
-312 88 312 79 312 70 curveto
+newpath 209 96 moveto
+209 88 209 79 209 70 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 316 70 moveto
-312 60 lineto
-309 70 lineto
+newpath 213 70 moveto
+209 60 lineto
+206 70 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 316 70 moveto
-312 60 lineto
-309 70 lineto
+newpath 213 70 moveto
+209 60 lineto
+206 70 lineto
 closepath
 stroke
 end grestore
@@ -1036,45 +1036,49 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 224 492 moveto
-0 492 lineto
-0 456 lineto
-224 456 lineto
+newpath 136 512 moveto
+0 512 lineto
+0 448 lineto
+136 448 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 224 492 moveto
-0 492 lineto
-0 456 lineto
-224 456 lineto
+newpath 136 512 moveto
+0 512 lineto
+0 448 lineto
+136 448 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-8 466 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]
+8 486 moveto
+(Dependency)
+[17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
+xshow
+24 458 moveto
+(Analyzer)
+[17.28 12 10.56 6.72 12 10.56 10.56 7.92]
 xshow
 end grestore
 end grestore
 
 %	DependencyAnalyzer -> metadata
-newpath 127 456 moveto
-136 445 148 431 159 418 curveto
+newpath 73 448 moveto
+74 439 76 430 77 422 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 162 420 moveto
-166 410 lineto
-157 415 lineto
+newpath 80 422 moveto
+79 412 lineto
+74 421 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 162 420 moveto
-166 410 lineto
-157 415 lineto
+newpath 80 422 moveto
+79 412 lineto
+74 421 lineto
 closepath
 stroke
 end grestore
@@ -1084,22 +1088,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 339 404 moveto
-263 404 lineto
-263 368 lineto
-339 368 lineto
+newpath 236 404 moveto
+160 404 lineto
+160 368 lineto
+236 368 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 339 404 moveto
-263 404 lineto
-263 368 lineto
-339 368 lineto
+newpath 236 404 moveto
+160 404 lineto
+160 368 lineto
+236 368 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-271 378 moveto
+168 378 moveto
 (Getter)
 [17.28 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -1107,22 +1111,22 @@ end grestore
 end grestore
 
 %	Getter -> getter
-newpath 301 368 moveto
-301 358 301 346 301 334 curveto
+newpath 198 368 moveto
+198 358 198 346 198 334 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 305 334 moveto
-301 324 lineto
-298 334 lineto
+newpath 202 334 moveto
+198 324 lineto
+195 334 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 305 334 moveto
-301 324 lineto
-298 334 lineto
+newpath 202 334 moveto
+198 324 lineto
+195 334 lineto
 closepath
 stroke
 end grestore
@@ -1132,22 +1136,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 451 836 moveto
-373 836 lineto
-373 800 lineto
-451 800 lineto
+newpath 363 848 moveto
+285 848 lineto
+285 812 lineto
+363 812 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 451 836 moveto
-373 836 lineto
-373 800 lineto
-451 800 lineto
+newpath 363 848 moveto
+285 848 lineto
+285 812 lineto
+363 812 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-380 810 moveto
+292 822 moveto
 (Matita)
 [21.36 10.56 6.72 6.72 6.72 10.56]
 xshow
@@ -1155,65 +1159,65 @@ end grestore
 end grestore
 
 %	Matita -> cic_disambiguation
-newpath 414 800 moveto
-416 773 420 721 423 686 curveto
+newpath 326 812 moveto
+328 785 332 733 335 698 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 426 686 moveto
-424 676 lineto
-420 686 lineto
+newpath 338 698 moveto
+336 688 lineto
+332 698 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 426 686 moveto
-424 676 lineto
-420 686 lineto
+newpath 338 698 moveto
+336 688 lineto
+332 698 lineto
 closepath
 stroke
 end grestore
 
 %	Matita -> grafite
-newpath 451 811 moveto
-496 802 571 785 633 764 curveto
-637 762 641 761 644 759 curveto
+newpath 363 823 moveto
+408 814 483 797 545 776 curveto
+549 774 553 773 556 771 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 646 762 moveto
-654 755 lineto
-643 755 lineto
+newpath 558 774 moveto
+566 767 lineto
+555 767 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 646 762 moveto
-654 755 lineto
-643 755 lineto
+newpath 558 774 moveto
+566 767 lineto
+555 767 lineto
 closepath
 stroke
 end grestore
 
 %	Matita -> paramodulation
-newpath 382 800 moveto
-366 790 345 777 327 766 curveto
+newpath 294 812 moveto
+278 802 257 789 239 778 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 328 763 moveto
-318 761 lineto
-325 769 lineto
+newpath 240 775 moveto
+230 773 lineto
+237 781 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 328 763 moveto
-318 761 lineto
-325 769 lineto
+newpath 240 775 moveto
+230 773 lineto
+237 781 lineto
 closepath
 stroke
 end grestore
@@ -1223,45 +1227,49 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 440 492 moveto
-290 492 lineto
-290 456 lineto
-440 456 lineto
+newpath 337 512 moveto
+241 512 lineto
+241 448 lineto
+337 448 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 440 492 moveto
-290 492 lineto
-290 456 lineto
-440 456 lineto
+newpath 337 512 moveto
+241 512 lineto
+241 448 lineto
+337 448 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-298 466 moveto
-(ProofChecker)
-[13.44 7.92 12 12 7.92 16.08 12 10.56 10.56 12 10.56 7.92]
+262 486 moveto
+(Proof)
+[13.44 7.92 12 12 7.92]
+xshow
+249 458 moveto
+(Checker)
+[16.08 12 10.56 10.56 12 10.56 7.92]
 xshow
 end grestore
 end grestore
 
 %	ProofChecker -> cic_proof_checking
-newpath 386 456 moveto
-400 445 416 430 431 417 curveto
+newpath 315 448 moveto
+323 439 331 429 339 419 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 433 420 moveto
-439 411 lineto
-429 414 lineto
+newpath 342 421 moveto
+345 411 lineto
+336 417 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 433 420 moveto
-439 411 lineto
-429 414 lineto
+newpath 342 421 moveto
+345 411 lineto
+336 417 lineto
 closepath
 stroke
 end grestore
@@ -1271,22 +1279,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 624 756 moveto
-538 756 lineto
-538 720 lineto
-624 720 lineto
+newpath 536 768 moveto
+450 768 lineto
+450 732 lineto
+536 732 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 624 756 moveto
-538 756 lineto
-538 720 lineto
-624 720 lineto
+newpath 536 768 moveto
+450 768 lineto
+450 732 lineto
+536 732 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-545 730 moveto
+457 742 moveto
 (Uwobo)
 [17.28 17.28 12 12 12]
 xshow
@@ -1294,22 +1302,22 @@ end grestore
 end grestore
 
 %	Uwobo -> content_pres
-newpath 591 720 moveto
-597 710 605 696 612 684 curveto
+newpath 503 732 moveto
+509 722 517 708 524 696 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 615 685 moveto
-617 675 lineto
-609 682 lineto
+newpath 527 697 moveto
+529 687 lineto
+521 694 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 615 685 moveto
-617 675 lineto
-609 682 lineto
+newpath 527 697 moveto
+529 687 lineto
+521 694 lineto
 closepath
 stroke
 end grestore
@@ -1319,22 +1327,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 520 756 moveto
-440 756 lineto
-440 720 lineto
-520 720 lineto
+newpath 432 768 moveto
+352 768 lineto
+352 732 lineto
+432 732 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 520 756 moveto
-440 756 lineto
-440 720 lineto
-520 720 lineto
+newpath 432 768 moveto
+352 768 lineto
+352 732 lineto
+432 732 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-447 730 moveto
+359 742 moveto
 (Whelp)
 [22.56 12 10.56 6.72 12]
 xshow
@@ -1342,43 +1350,43 @@ end grestore
 end grestore
 
 %	Whelp -> cic_disambiguation
-newpath 469 720 moveto
-463 710 454 696 447 684 curveto
+newpath 381 732 moveto
+375 722 366 708 359 696 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 450 682 moveto
-442 675 lineto
-444 685 lineto
+newpath 362 694 moveto
+354 687 lineto
+356 697 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 450 682 moveto
-442 675 lineto
-444 685 lineto
+newpath 362 694 moveto
+354 687 lineto
+356 697 lineto
 closepath
 stroke
 end grestore
 
 %	Whelp -> content_pres
-newpath 511 720 moveto
-532 708 560 691 584 677 curveto
+newpath 423 732 moveto
+444 720 472 703 496 689 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 586 680 moveto
-593 672 lineto
-583 674 lineto
+newpath 498 692 moveto
+505 684 lineto
+495 686 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 586 680 moveto
-593 672 lineto
-583 674 lineto
+newpath 498 692 moveto
+505 684 lineto
+495 686 lineto
 closepath
 stroke
 end grestore
diff --git a/helm/papers/matita/librariesCluster.ps b/helm/papers/matita/librariesCluster.ps
index 27ef6164f..eb52d37d1 100644
--- 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 1114 979
 %%EndComments
 save
 %%BeginProlog
@@ -230,10 +230,10 @@ def
 
 %%EndSetup
 %%Page: 1 1
-%%PageBoundingBox: 36 36 1256 973
+%%PageBoundingBox: 36 36 1114 979
 %%PageOrientation: Portrait
 gsave
-35 35 1221 938 boxprim clip newpath
+35 35 1079 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 640 488 moveto
+1069 488 lineto
+1069 862 lineto
+640 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 640 488 moveto
+1069 488 lineto
+1069 862 lineto
+640 862 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-790 498 moveto
+648 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 152 618 moveto
+402 618 lineto
+402 898 lineto
+152 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 152 618 moveto
+402 618 lineto
+402 898 lineto
+152 898 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-302 866 moveto
+160 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 258 208 moveto
+632 208 lineto
+632 592 lineto
+258 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 258 208 moveto
+632 208 lineto
+632 592 lineto
+258 592 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-407 218 moveto
+265 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 640 16 moveto
+928 16 lineto
+928 400 lineto
+640 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 640 16 moveto
+928 16 lineto
+928 400 lineto
+640 400 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-984 26 moveto
+842 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
+758 652 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-839 638 moveto
+697 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
+731 558 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-833 550 moveto
+691 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 751 626 moveto
+748 616 744 604 741 593 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 744 592 moveto
+739 583 lineto
+738 593 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 887 592 moveto
-881 583 lineto
-881 594 lineto
+newpath 744 592 moveto
+739 583 lineto
+738 593 lineto
 closepath
 stroke
 end grestore
 
 %	cic_proof_checking
 gsave 10 dict begin
-655 454 110 25 ellipse_path
+513 454 110 25 ellipse_path
 stroke
 gsave 10 dict begin
-559 446 moveto
+417 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 706 535 moveto
+688 520 662 500 636 488 curveto
+626 483 615 479 604 475 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 605 472 moveto
+594 472 lineto
+603 478 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 747 472 moveto
-736 472 lineto
-745 478 lineto
+newpath 605 472 moveto
+594 472 lineto
+603 478 lineto
 closepath
 stroke
 end grestore
 
 %	cic_disambiguation
 gsave 10 dict begin
-900 734 109 25 ellipse_path
+758 740 109 25 ellipse_path
 stroke
 gsave 10 dict begin
-805 726 moveto
+663 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 758 714 moveto
+758 706 758 697 758 688 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 762 688 moveto
+758 678 lineto
+755 688 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 904 682 moveto
-900 672 lineto
-897 682 lineto
+newpath 762 688 moveto
+758 678 lineto
+755 688 lineto
 closepath
 stroke
 end grestore
 
 %	cic_unification
 gsave 10 dict begin
-449 646 86 25 ellipse_path
+307 652 86 25 ellipse_path
 stroke
 gsave 10 dict begin
-377 638 moveto
+235 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,32 @@ end grestore
 end grestore
 
 %	cic_disambiguation -> cic_unification
-newpath 816 718 moveto
-734 702 613 678 532 662 curveto
+newpath 674 724 moveto
+592 708 471 684 390 668 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 390 665 moveto
+380 666 lineto
+389 671 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 532 659 moveto
-522 660 lineto
-531 665 lineto
+newpath 390 665 moveto
+380 666 lineto
+389 671 lineto
 closepath
 stroke
 end grestore
 
 %	whelp
 gsave 10 dict begin
-467 558 44 25 ellipse_path
+325 558 44 25 ellipse_path
 stroke
 gsave 10 dict begin
-437 550 moveto
+295 550 moveto
 (whelp)
 [17.28 12 10.56 6.72 12]
 xshow
@@ -502,32 +502,32 @@ end grestore
 end grestore
 
 %	cic_disambiguation -> whelp
-newpath 845 712 moveto
-759 676 594 609 513 577 curveto
+newpath 704 718 moveto
+618 681 451 611 370 577 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 372 574 moveto
+361 573 lineto
+369 580 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 515 574 moveto
-504 573 lineto
-512 580 lineto
+newpath 372 574 moveto
+361 573 lineto
+369 580 lineto
 closepath
 stroke
 end grestore
 
 %	content_pres
 gsave 10 dict begin
-1105 734 76 25 ellipse_path
+963 740 76 25 ellipse_path
 stroke
 gsave 10 dict begin
-1043 726 moveto
+901 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,32 +535,32 @@ end grestore
 end grestore
 
 %	content_pres -> acic_content
-newpath 1058 714 moveto
-1027 701 988 684 956 670 curveto
+newpath 916 720 moveto
+885 707 846 690 814 676 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 816 673 moveto
+805 672 lineto
+813 679 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 958 667 moveto
-947 666 lineto
-955 673 lineto
+newpath 816 673 moveto
+805 672 lineto
+813 679 lineto
 closepath
 stroke
 end grestore
 
 %	utf8_macros
 gsave 10 dict begin
-986 366 75 25 ellipse_path
+844 366 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-925 358 moveto
+783 358 moveto
 (utf8_macros)
 [12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
 xshow
@@ -568,32 +568,32 @@ end grestore
 end grestore
 
 %	content_pres -> utf8_macros
-newpath 1097 708 moveto
-1076 644 1021 475 997 401 curveto
+newpath 955 715 moveto
+934 649 879 476 855 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
+newpath 858 400 moveto
+852 391 lineto
+852 402 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 1000 400 moveto
-994 391 lineto
-994 402 lineto
+newpath 858 400 moveto
+852 391 lineto
+852 402 lineto
 closepath
 stroke
 end grestore
 
 %	grafite
 gsave 10 dict begin
-972 822 46 25 ellipse_path
+830 828 46 25 ellipse_path
 stroke
 gsave 10 dict begin
-940 814 moveto
+798 820 moveto
 (grafite)
 [12 7.92 10.56 7.92 6.72 6.72 10.56]
 xshow
@@ -601,54 +601,54 @@ end grestore
 end grestore
 
 %	grafite -> content_pres
-newpath 1002 802 moveto
-1019 791 1042 776 1062 763 curveto
+newpath 860 808 moveto
+877 797 900 782 920 769 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 922 772 moveto
+928 763 lineto
+918 766 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 1064 766 moveto
-1070 757 lineto
-1060 760 lineto
+newpath 922 772 moveto
+928 763 lineto
+918 766 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 337 628 moveto
+350 617 366 604 379 592 curveto
+416 557 456 515 483 487 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 486 489 moveto
+490 479 lineto
+481 484 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 628 489 moveto
-633 479 lineto
-623 484 lineto
+newpath 486 489 moveto
+490 479 lineto
+481 484 lineto
 closepath
 stroke
 end grestore
 
 %	tactics
 gsave 10 dict begin
-443 734 45 25 ellipse_path
+301 740 45 25 ellipse_path
 stroke
 gsave 10 dict begin
-412 726 moveto
+270 732 moveto
 (tactics)
 [6.72 10.56 10.56 6.72 6.72 10.56 9.36]
 xshow
@@ -656,56 +656,56 @@ end grestore
 end grestore
 
 %	tactics -> cic_unification
-newpath 445 708 moveto
-446 700 446 691 447 682 curveto
+newpath 303 714 moveto
+304 706 304 697 305 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 309 688 moveto
+305 678 lineto
+302 688 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 451 682 moveto
-447 672 lineto
-444 682 lineto
+newpath 309 688 moveto
+305 678 lineto
+302 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 264 725 moveto
+245 714 222 699 211 678 curveto
+199 654 196 639 211 618 curveto
+230 591 252 607 280 592 curveto
+284 590 288 588 291 585 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 293 588 moveto
+299 579 lineto
+289 582 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 435 588 moveto
-442 580 lineto
-432 582 lineto
+newpath 293 588 moveto
+299 579 lineto
+289 582 lineto
 closepath
 stroke
 end grestore
 
 %	paramodulation
 gsave 10 dict begin
-443 822 90 25 ellipse_path
+301 828 90 25 ellipse_path
 stroke
 gsave 10 dict begin
-367 814 moveto
+225 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 +713,32 @@ end grestore
 end grestore
 
 %	paramodulation -> tactics
-newpath 443 796 moveto
-443 788 443 779 443 770 curveto
+newpath 301 802 moveto
+301 794 301 785 301 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 305 776 moveto
+301 766 lineto
+298 776 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 447 770 moveto
-443 760 lineto
-440 770 lineto
+newpath 305 776 moveto
+301 766 lineto
+298 776 lineto
 closepath
 stroke
 end grestore
 
 %	cic
 gsave 10 dict begin
-562 366 28 25 ellipse_path
+420 366 28 25 ellipse_path
 stroke
 gsave 10 dict begin
-548 358 moveto
+406 358 moveto
 (cic)
 [10.56 6.72 10.56]
 xshow
@@ -747,10 +747,10 @@ end grestore
 
 %	urimanager
 gsave 10 dict begin
-657 278 70 25 ellipse_path
+515 278 70 25 ellipse_path
 stroke
 gsave 10 dict begin
-601 270 moveto
+459 270 moveto
 (urimanager)
 [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
 xshow
@@ -758,32 +758,32 @@ end grestore
 end grestore
 
 %	cic -> urimanager
-newpath 582 347 moveto
-594 336 610 322 624 309 curveto
+newpath 440 347 moveto
+452 336 468 322 482 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 484 312 moveto
+489 302 lineto
+479 307 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 626 312 moveto
-631 302 lineto
-621 307 lineto
+newpath 484 312 moveto
+489 302 lineto
+479 307 lineto
 closepath
 stroke
 end grestore
 
 %	xml
 gsave 10 dict begin
-843 174 33 25 ellipse_path
+701 174 33 25 ellipse_path
 stroke
 gsave 10 dict begin
-824 166 moveto
+682 166 moveto
 (xml)
 [12 18.72 6.72]
 xshow
@@ -791,54 +791,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 414 341 moveto
+407 306 401 243 435 208 curveto
+450 192 585 181 657 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 657 180 moveto
+667 176 lineto
+657 174 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 799 180 moveto
-809 176 lineto
-799 174 lineto
+newpath 657 180 moveto
+667 176 lineto
+657 174 lineto
 closepath
 stroke
 end grestore
 
 %	cic_proof_checking -> cic
-newpath 629 429 moveto
-617 417 602 404 590 392 curveto
+newpath 487 429 moveto
+475 417 460 404 448 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 450 389 moveto
+440 385 lineto
+445 394 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 592 389 moveto
-582 385 lineto
-587 394 lineto
+newpath 450 389 moveto
+440 385 lineto
+445 394 lineto
 closepath
 stroke
 end grestore
 
 %	getter
 gsave 10 dict begin
-655 366 42 25 ellipse_path
+513 366 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-627 358 moveto
+485 358 moveto
 (getter)
 [12 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -846,53 +846,53 @@ end grestore
 end grestore
 
 %	cic_proof_checking -> getter
-newpath 655 428 moveto
-655 420 655 411 655 402 curveto
+newpath 513 428 moveto
+513 420 513 411 513 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 517 402 moveto
+513 392 lineto
+510 402 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 659 402 moveto
-655 392 lineto
-652 402 lineto
+newpath 517 402 moveto
+513 392 lineto
+510 402 lineto
 closepath
 stroke
 end grestore
 
 %	getter -> urimanager
-newpath 656 340 moveto
-656 332 656 323 656 314 curveto
+newpath 514 340 moveto
+514 332 514 323 514 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 518 314 moveto
+514 304 lineto
+511 314 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 660 314 moveto
-656 304 lineto
-653 314 lineto
+newpath 518 314 moveto
+514 304 lineto
+511 314 lineto
 closepath
 stroke
 end grestore
 
 %	registry
 gsave 10 dict begin
-843 278 52 25 ellipse_path
+701 278 52 25 ellipse_path
 stroke
 gsave 10 dict begin
-805 270 moveto
+663 270 moveto
 (registry)
 [7.92 10.56 12 6.72 9.36 6.72 7.92 12]
 xshow
@@ -900,32 +900,32 @@ end grestore
 end grestore
 
 %	getter -> registry
-newpath 689 350 moveto
-719 336 763 316 796 300 curveto
+newpath 547 350 moveto
+577 336 621 316 654 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 655 303 moveto
+663 296 lineto
+652 297 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 797 303 moveto
-805 296 lineto
-794 297 lineto
+newpath 655 303 moveto
+663 296 lineto
+652 297 lineto
 closepath
 stroke
 end grestore
 
 %	metadata
 gsave 10 dict begin
-467 454 58 25 ellipse_path
+325 454 58 25 ellipse_path
 stroke
 gsave 10 dict begin
-423 446 moveto
+281 446 moveto
 (metadata)
 [18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
 xshow
@@ -933,54 +933,54 @@ end grestore
 end grestore
 
 %	metadata -> cic
-newpath 492 431 moveto
-505 419 521 404 534 392 curveto
+newpath 350 431 moveto
+363 419 379 404 392 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 395 394 moveto
+400 385 lineto
+390 389 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 537 394 moveto
-542 385 lineto
-532 389 lineto
+newpath 395 394 moveto
+400 385 lineto
+390 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 369 437 moveto
+401 424 442 408 458 400 curveto
+464 397 470 394 475 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 477 393 moveto
+484 385 lineto
+474 387 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 619 393 moveto
-626 385 lineto
-616 387 lineto
+newpath 477 393 moveto
+484 385 lineto
+474 387 lineto
 closepath
 stroke
 end grestore
 
 %	hmysql
 gsave 10 dict begin
-841 366 50 25 ellipse_path
+699 366 50 25 ellipse_path
 stroke
 gsave 10 dict begin
-805 358 moveto
+663 358 moveto
 (hmysql)
 [12 18.72 12 9.36 12 6.72]
 xshow
@@ -988,55 +988,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 367 436 moveto
+375 433 384 430 393 428 curveto
+499 402 533 432 636 400 curveto
+644 398 651 394 658 391 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 660 394 moveto
+667 386 lineto
+657 388 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 802 394 moveto
-809 386 lineto
-799 388 lineto
+newpath 660 394 moveto
+667 386 lineto
+657 388 lineto
 closepath
 stroke
 end grestore
 
 %	whelp -> metadata
-newpath 467 532 moveto
-467 519 467 504 467 490 curveto
+newpath 325 532 moveto
+325 519 325 504 325 490 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 329 490 moveto
+325 480 lineto
+322 490 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 471 490 moveto
-467 480 lineto
-464 490 lineto
+newpath 329 490 moveto
+325 480 lineto
+322 490 lineto
 closepath
 stroke
 end grestore
 
 %	extlib
 gsave 10 dict begin
-843 86 42 25 ellipse_path
+701 86 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-815 78 moveto
+673 78 moveto
 (extlib)
 [10.56 12 6.72 6.72 6.72 12]
 xshow
@@ -1045,10 +1045,10 @@ end grestore
 
 %	hgdome
 gsave 10 dict begin
-969 278 54 25 ellipse_path
+827 278 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-929 270 moveto
+787 270 moveto
 (hgdome)
 [12 12 12 12 18.72 10.56]
 xshow
@@ -1056,86 +1056,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 809 254 moveto
+797 239 780 221 763 208 curveto
+756 202 747 197 739 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 740 189 moveto
+730 187 lineto
+737 195 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 882 189 moveto
-872 187 lineto
-879 195 lineto
+newpath 740 189 moveto
+730 187 lineto
+737 195 lineto
 closepath
 stroke
 end grestore
 
 %	hmysql -> registry
-newpath 842 340 moveto
-842 332 842 323 842 314 curveto
+newpath 700 340 moveto
+700 332 700 323 700 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 704 314 moveto
+700 304 lineto
+697 314 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 846 314 moveto
-842 304 lineto
-839 314 lineto
+newpath 704 314 moveto
+700 304 lineto
+697 314 lineto
 closepath
 stroke
 end grestore
 
 %	registry -> xml
-newpath 843 252 moveto
-843 239 843 224 843 210 curveto
+newpath 701 252 moveto
+701 239 701 224 701 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 705 210 moveto
+701 200 lineto
+698 210 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 847 210 moveto
-843 200 lineto
-840 210 lineto
+newpath 705 210 moveto
+701 200 lineto
+698 210 lineto
 closepath
 stroke
 end grestore
 
 %	xml -> extlib
-newpath 843 148 moveto
-843 140 843 131 843 122 curveto
+newpath 701 148 moveto
+701 140 701 131 701 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 705 122 moveto
+701 112 lineto
+698 122 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 847 122 moveto
-843 112 lineto
-840 122 lineto
+newpath 705 122 moveto
+701 112 lineto
+698 122 lineto
 closepath
 stroke
 end grestore
@@ -1145,47 +1145,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 136 590 moveto
+0 590 lineto
+0 526 lineto
+136 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 136 590 moveto
+0 590 lineto
+0 526 lineto
+136 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]
+8 564 moveto
+(Dependency)
+[17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
+xshow
+24 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 94 526 moveto
+108 512 126 496 145 488 curveto
+170 477 240 486 266 480 curveto
+270 479 273 478 277 477 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 278 480 moveto
+286 473 lineto
+275 474 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 420 480 moveto
-428 473 lineto
-417 474 lineto
+newpath 278 480 moveto
+286 473 lineto
+275 474 lineto
 closepath
 stroke
 end grestore
@@ -1195,22 +1199,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 248 472 moveto
+172 472 lineto
+172 436 lineto
+248 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 248 472 moveto
+172 472 lineto
+172 436 lineto
+248 436 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-322 446 moveto
+180 446 moveto
 (Getter)
 [17.28 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -1218,24 +1222,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 237 436 moveto
+242 433 248 430 254 428 curveto
+341 397 372 430 458 400 curveto
+465 397 471 394 477 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 479 394 moveto
+486 386 lineto
+476 388 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 621 394 moveto
-628 386 lineto
-618 388 lineto
+newpath 479 394 moveto
+486 386 lineto
+476 388 lineto
 closepath
 stroke
 end grestore
@@ -1245,22 +1249,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 459 942 moveto
+381 942 lineto
+381 906 lineto
+459 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 459 942 moveto
+381 942 lineto
+381 906 lineto
+459 906 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-530 910 moveto
+388 916 moveto
 (Matita)
 [21.36 10.56 6.72 6.72 6.72 10.56]
 xshow
@@ -1268,67 +1272,67 @@ 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 417 906 moveto
+415 879 414 830 439 802 curveto
+504 731 554 751 640 746 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 640 749 moveto
+650 745 lineto
+640 743 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 782 743 moveto
-792 739 lineto
-782 737 lineto
+newpath 640 749 moveto
+650 745 lineto
+640 743 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 459 923 moveto
+547 921 756 914 783 898 curveto
+798 890 808 876 816 862 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 819 864 moveto
+820 853 lineto
+813 861 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 961 858 moveto
-962 847 lineto
-955 855 lineto
+newpath 819 864 moveto
+820 853 lineto
+813 861 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 381 919 moveto
+354 915 321 908 311 898 curveto
+302 889 299 876 298 864 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 302 864 moveto
+298 854 lineto
+295 864 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 444 858 moveto
-440 848 lineto
-437 858 lineto
+newpath 302 864 moveto
+298 854 lineto
+295 864 lineto
 closepath
 stroke
 end grestore
@@ -1338,47 +1342,51 @@ 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 250 590 moveto
+154 590 lineto
+154 526 lineto
+250 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 250 590 moveto
+154 590 lineto
+154 526 lineto
+250 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]
+175 564 moveto
+(Proof)
+[13.44 7.92 12 12 7.92]
+xshow
+162 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 218 526 moveto
+226 512 238 496 254 488 curveto
+268 480 378 482 393 480 curveto
+404 478 415 476 426 474 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 427 477 moveto
+436 472 lineto
+426 471 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 569 477 moveto
-578 472 lineto
-568 471 lineto
+newpath 427 477 moveto
+436 472 lineto
+426 471 lineto
 closepath
 stroke
 end grestore
@@ -1388,22 +1396,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 632 846 moveto
+546 846 lineto
+546 810 lineto
+632 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 632 846 moveto
+546 846 lineto
+546 810 lineto
+632 810 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-695 814 moveto
+553 820 moveto
 (Uwobo)
 [17.28 17.28 12 12 12]
 xshow
@@ -1411,24 +1419,24 @@ 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 618 810 moveto
+624 807 630 804 636 802 curveto
+739 767 772 789 877 766 curveto
+884 765 890 763 897 761 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 898 764 moveto
+907 758 lineto
+896 758 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 1040 758 moveto
-1049 752 lineto
-1038 752 lineto
+newpath 898 764 moveto
+907 758 lineto
+896 758 lineto
 closepath
 stroke
 end grestore
@@ -1438,22 +1446,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 528 846 moveto
+448 846 lineto
+448 810 lineto
+528 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 528 846 moveto
+448 846 lineto
+448 810 lineto
+528 810 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-597 814 moveto
+455 820 moveto
 (Whelp)
 [22.56 12 10.56 6.72 12]
 xshow
@@ -1461,46 +1469,46 @@ 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 520 810 moveto
+526 807 531 804 537 802 curveto
+580 785 628 770 669 760 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 670 763 moveto
+679 758 lineto
+669 757 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 812 757 moveto
-821 752 lineto
-811 751 lineto
+newpath 670 763 moveto
+679 758 lineto
+669 757 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 518 810 moveto
+524 807 531 804 537 802 curveto
+683 757 729 796 877 766 curveto
+884 765 891 763 898 761 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 899 764 moveto
+908 758 lineto
+897 758 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 1041 758 moveto
-1050 752 lineto
-1039 752 lineto
+newpath 899 764 moveto
+908 758 lineto
+897 758 lineto
 closepath
 stroke
 end grestore