X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fmatita%2Flibraries.ps;h=2ef6381e4ba6475954ab3b3b46d4609d86065d91;hb=dfed126791398d57e02d3d2301fe5c174f0b1936;hp=2fe94811959ae72fd4febc23eb6fcb13564d6cba;hpb=22fae39d4d5da97fcd91d6c25158ffdaee9a6f86;p=helm.git

diff --git a/helm/papers/matita/libraries.ps b/helm/papers/matita/libraries.ps
index 2fe948119..2ef6381e4 100644
--- a/helm/papers/matita/libraries.ps
+++ b/helm/papers/matita/libraries.ps
@@ -1,9 +1,9 @@
 %!PS-Adobe-2.0
-%%Creator: dot version 2.2.1 (Tue Apr 12 00:03:35 UTC 2005)
-%%For: (sacerdot) Claudio Sacerdoti Coen,,,
+%%Creator: dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
+%%For: (zacchiro) Stefano Zacchiroli,,,
 %%Title: G
 %%Pages: (atend)
-%%BoundingBox: 35 35 461 649
+%%BoundingBox: 35 35 680 885
 %%EndComments
 save
 %%BeginProlog
@@ -230,714 +230,1153 @@ def
 
 %%EndSetup
 %%Page: 1 1
-%%PageBoundingBox: 36 36 461 649
+%%PageBoundingBox: 36 36 680 885
 %%PageOrientation: Portrait
 gsave
-35 35 426 614 boxprim clip newpath
+35 35 645 850 boxprim clip newpath
 36 36 translate
 0 0 1 beginpage
 0 0 translate 0 rotate
 0.000 0.000 0.000 graphcolor
-14.00 /Times-Roman set_font
+24.00 /Times-Roman set_font
 
-%	paramodulation
+%	acic_content
 gsave 10 dict begin
-164 594 57 18 ellipse_path
+497 574 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-119 589 moveto
-(paramodulation)
-[6.96 6.24 4.56 6.24 10.8 6.96 6.96 6.96 3.84 6.24 3.84 3.84 6.96 6.96]
+436 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
+end grestore
+end grestore
+
+%	cic_acic
+gsave 10 dict begin
+432 480 54 25 ellipse_path
+stroke
+gsave 10 dict begin
+392 472 moveto
+(cic_acic)
+[10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
+xshow
+end grestore
+end grestore
+
+%	acic_content -> cic_acic
+newpath 480 549 moveto
+472 538 463 525 455 513 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 457 510 moveto
+449 504 lineto
+452 514 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 457 510 moveto
+449 504 lineto
+452 514 lineto
+closepath
+stroke
+end grestore
+
+%	cic_proof_checking
+gsave 10 dict begin
+441 386 110 25 ellipse_path
+stroke
+gsave 10 dict begin
+345 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
 end grestore
 end grestore
 
+%	cic_acic -> cic_proof_checking
+newpath 434 454 moveto
+435 444 436 433 437 422 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 440 422 moveto
+438 412 lineto
+434 422 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 440 422 moveto
+438 412 lineto
+434 422 lineto
+closepath
+stroke
+end grestore
+
 %	cic_disambiguation
 gsave 10 dict begin
-164 522 68 18 ellipse_path
+318 662 109 25 ellipse_path
 stroke
 gsave 10 dict begin
-109 517 moveto
+223 654 moveto
 (cic_disambiguation)
-[6.24 3.84 6.24 6.96 6.96 3.84 5.52 6.24 10.8 6.96 3.84 6.96 6.96 6.24 3.84 3.84 6.96 6.96]
+[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
 end grestore
 end grestore
 
-%	paramodulation -> cic_disambiguation
-newpath 164 576 moveto
-164 568 164 559 164 550 curveto
+%	cic_disambiguation -> acic_content
+newpath 365 639 moveto
+390 627 420 612 445 599 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 168 550 moveto
-164 540 lineto
-161 550 lineto
+newpath 446 602 moveto
+454 595 lineto
+443 596 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 168 550 moveto
-164 540 lineto
-161 550 lineto
+newpath 446 602 moveto
+454 595 lineto
+443 596 lineto
 closepath
 stroke
 end grestore
 
-%	cic_notation
+%	cic_unification
 gsave 10 dict begin
-48 378 48 18 ellipse_path
+316 574 86 25 ellipse_path
 stroke
 gsave 10 dict begin
-13 373 moveto
-(cic_notation)
-[6.24 3.84 6.24 6.96 6.96 6.96 3.84 6.24 3.84 3.84 6.96 6.96]
+244 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
 end grestore
 end grestore
 
-%	cic_disambiguation -> cic_notation
-newpath 128 507 moveto
-111 498 91 485 77 468 curveto
-64 450 56 425 52 406 curveto
+%	cic_disambiguation -> cic_unification
+newpath 317 636 moveto
+317 628 317 619 317 610 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 55 405 moveto
-50 396 lineto
-49 406 lineto
+newpath 321 610 moveto
+317 600 lineto
+314 610 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 55 405 moveto
-50 396 lineto
-49 406 lineto
+newpath 321 610 moveto
+317 600 lineto
+314 610 lineto
 closepath
 stroke
 end grestore
 
-%	tactics
+%	whelp
 gsave 10 dict begin
-275 450 31 18 ellipse_path
+164 574 44 25 ellipse_path
 stroke
 gsave 10 dict begin
-256 445 moveto
-(tactics)
-[3.84 6.24 6.24 3.84 3.84 6.24 5.52]
+134 566 moveto
+(whelp)
+[17.28 12 10.56 6.72 12]
 xshow
 end grestore
 end grestore
 
-%	cic_disambiguation -> tactics
-newpath 190 505 moveto
-207 494 228 480 246 469 curveto
+%	cic_disambiguation -> whelp
+newpath 276 638 moveto
+254 626 227 610 205 597 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 248 472 moveto
-254 463 lineto
-244 466 lineto
+newpath 206 594 moveto
+196 592 lineto
+203 600 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 248 472 moveto
-254 463 lineto
-244 466 lineto
+newpath 206 594 moveto
+196 592 lineto
+203 600 lineto
 closepath
 stroke
 end grestore
 
-%	cic_proof_checking
+%	content_pres
 gsave 10 dict begin
-242 306 68 18 ellipse_path
+523 662 76 25 ellipse_path
 stroke
 gsave 10 dict begin
-186 301 moveto
-(cic_proof_checking)
-[6.24 3.84 6.24 6.96 6.96 4.56 6.96 6.96 4.56 6.96 6.24 6.96 6.24 6.24 6.96 3.84 6.96 6.96]
+461 654 moveto
+(content_pres)
+[10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
 xshow
 end grestore
 end grestore
 
-%	cic_notation -> cic_proof_checking
-newpath 82 365 moveto
-113 354 158 337 192 325 curveto
+%	content_pres -> acic_content
+newpath 515 637 moveto
+513 628 510 619 508 610 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 194 328 moveto
-202 321 lineto
-191 321 lineto
+newpath 511 609 moveto
+505 600 lineto
+505 611 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 194 328 moveto
-202 321 lineto
-191 321 lineto
+newpath 511 609 moveto
+505 600 lineto
+505 611 lineto
 closepath
 stroke
 end grestore
 
-%	utf8_macros
+%	grafite
 gsave 10 dict begin
-48 306 48 18 ellipse_path
+554 750 46 25 ellipse_path
 stroke
 gsave 10 dict begin
-12 301 moveto
-(utf8_macros)
-[6.96 3.84 4.56 6.96 6.96 10.8 6.24 6.24 4.56 6.96 5.52]
+522 742 moveto
+(grafite)
+[12 7.92 10.56 7.92 6.72 6.72 10.56]
 xshow
 end grestore
 end grestore
 
-%	cic_notation -> utf8_macros
-newpath 48 360 moveto
-48 352 48 343 48 334 curveto
+%	grafite -> content_pres
+newpath 545 725 moveto
+542 716 539 706 535 697 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 52 334 moveto
-48 324 lineto
-45 334 lineto
+newpath 538 696 moveto
+532 687 lineto
+532 698 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 52 334 moveto
-48 324 lineto
-45 334 lineto
+newpath 538 696 moveto
+532 687 lineto
+532 698 lineto
 closepath
 stroke
 end grestore
 
-%	metadata
+%	cic_unification -> cic_proof_checking
+newpath 323 549 moveto
+330 522 345 479 368 448 curveto
+376 437 387 426 397 417 curveto
+stroke
 gsave 10 dict begin
-386 378 38 18 ellipse_path
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 400 419 moveto
+405 410 lineto
+395 414 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 400 419 moveto
+405 410 lineto
+395 414 lineto
+closepath
 stroke
+end grestore
+
+%	tactics
 gsave 10 dict begin
-360 373 moveto
-(metadata)
-[10.8 6.24 3.84 6.24 6.96 6.24 3.84 6.24]
+144 662 45 25 ellipse_path
+stroke
+gsave 10 dict begin
+113 654 moveto
+(tactics)
+[6.72 10.56 10.56 6.72 6.72 10.56 9.36]
 xshow
 end grestore
 end grestore
 
-%	tactics -> metadata
-newpath 296 436 moveto
-312 426 336 411 355 399 curveto
+%	tactics -> cic_unification
+newpath 178 645 moveto
+202 632 236 615 264 601 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 357 402 moveto
-363 393 lineto
-353 396 lineto
+newpath 266 604 moveto
+273 596 lineto
+263 598 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 357 402 moveto
-363 393 lineto
-353 396 lineto
+newpath 266 604 moveto
+273 596 lineto
+263 598 lineto
 closepath
 stroke
 end grestore
 
-%	cic_unification
+%	tactics -> whelp
+newpath 150 637 moveto
+152 628 154 618 156 609 curveto
+stroke
 gsave 10 dict begin
-275 378 55 18 ellipse_path
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 159 609 moveto
+158 599 lineto
+153 608 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 159 609 moveto
+158 599 lineto
+153 608 lineto
+closepath
 stroke
+end grestore
+
+%	paramodulation
 gsave 10 dict begin
-233 373 moveto
-(cic_unification)
-[6.24 3.84 6.24 6.96 6.96 6.96 3.84 4.56 3.84 6.24 6.24 3.84 3.84 6.96 6.96]
+151 750 90 25 ellipse_path
+stroke
+gsave 10 dict begin
+75 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
 end grestore
 end grestore
 
-%	tactics -> cic_unification
-newpath 275 432 moveto
-275 424 275 415 275 406 curveto
+%	paramodulation -> tactics
+newpath 149 724 moveto
+148 716 148 707 147 698 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 279 406 moveto
-275 396 lineto
-272 406 lineto
+newpath 150 698 moveto
+146 688 lineto
+144 698 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 279 406 moveto
-275 396 lineto
-272 406 lineto
+newpath 150 698 moveto
+146 688 lineto
+144 698 lineto
 closepath
 stroke
 end grestore
 
-%	cic_transformations
+%	cic
+gsave 10 dict begin
+412 298 28 25 ellipse_path
+stroke
+gsave 10 dict begin
+398 290 moveto
+(cic)
+[10.56 6.72 10.56]
+xshow
+end grestore
+end grestore
+
+%	urimanager
 gsave 10 dict begin
-154 450 68 18 ellipse_path
+332 210 70 25 ellipse_path
 stroke
 gsave 10 dict begin
-98 445 moveto
-(cic_transformations)
-[6.24 3.84 6.24 6.96 3.84 4.56 6.24 6.96 5.52 4.56 6.96 4.56 10.8 6.24 3.84 3.84 6.96 6.96 5.52]
+276 202 moveto
+(urimanager)
+[12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
 xshow
 end grestore
 end grestore
 
-%	cic_transformations -> cic_notation
-newpath 129 433 moveto
-115 423 95 410 79 399 curveto
+%	cic -> urimanager
+newpath 394 278 moveto
+384 267 372 254 361 241 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 81 396 moveto
-71 394 lineto
-78 402 lineto
+newpath 364 239 moveto
+354 234 lineto
+359 244 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 81 396 moveto
-71 394 lineto
-78 402 lineto
+newpath 364 239 moveto
+354 234 lineto
+359 244 lineto
 closepath
 stroke
 end grestore
 
-%	cic_omdoc
+%	xml
 gsave 10 dict begin
-158 378 44 18 ellipse_path
+431 122 33 25 ellipse_path
 stroke
 gsave 10 dict begin
-127 373 moveto
-(cic_omdoc)
-[6.24 3.84 6.24 6.96 6.96 10.8 6.96 6.96 6.24]
+412 114 moveto
+(xml)
+[12 18.72 6.72]
 xshow
 end grestore
 end grestore
 
-%	cic_transformations -> cic_omdoc
-newpath 155 432 moveto
-156 424 156 415 156 406 curveto
+%	cic -> xml
+newpath 415 272 moveto
+418 242 424 192 427 158 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 159 406 moveto
-157 396 lineto
-153 406 lineto
+newpath 430 158 moveto
+428 148 lineto
+424 158 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 159 406 moveto
-157 396 lineto
-153 406 lineto
+newpath 430 158 moveto
+428 148 lineto
+424 158 lineto
 closepath
 stroke
 end grestore
 
-%	cic_omdoc -> cic_proof_checking
-newpath 177 362 moveto
-188 352 202 340 214 330 curveto
+%	cic_proof_checking -> cic
+newpath 433 361 moveto
+430 352 427 342 423 333 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 217 332 moveto
-222 323 lineto
-212 327 lineto
+newpath 426 332 moveto
+420 323 lineto
+420 334 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 217 332 moveto
-222 323 lineto
-212 327 lineto
+newpath 426 332 moveto
+420 323 lineto
+420 334 lineto
 closepath
 stroke
 end grestore
 
 %	getter
 gsave 10 dict begin
-292 234 29 18 ellipse_path
+274 298 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-276 229 moveto
+246 290 moveto
 (getter)
-[6.96 6.24 3.84 3.84 6.24 4.56]
+[12 10.56 6.72 6.72 10.56 7.92]
 xshow
 end grestore
 end grestore
 
 %	cic_proof_checking -> getter
-newpath 254 288 moveto
-260 280 267 269 274 259 curveto
+newpath 396 362 moveto
+371 349 340 332 315 320 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 277 261 moveto
-280 251 lineto
-271 257 lineto
+newpath 316 317 moveto
+306 315 lineto
+313 323 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 277 261 moveto
-280 251 lineto
-271 257 lineto
+newpath 316 317 moveto
+306 315 lineto
+313 323 lineto
 closepath
 stroke
 end grestore
 
-%	cic
+%	getter -> urimanager
+newpath 290 274 moveto
+296 265 304 254 310 244 curveto
+stroke
 gsave 10 dict begin
-208 234 27 18 ellipse_path
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 313 245 moveto
+316 235 lineto
+308 241 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 313 245 moveto
+316 235 lineto
+308 241 lineto
+closepath
 stroke
+end grestore
+
+%	registry
 gsave 10 dict begin
-199 229 moveto
-(cic)
-[6.24 3.84 6.24]
+190 210 52 25 ellipse_path
+stroke
+gsave 10 dict begin
+152 202 moveto
+(registry)
+[7.92 10.56 12 6.72 9.36 6.72 7.92 12]
 xshow
 end grestore
 end grestore
 
-%	cic_proof_checking -> cic
-newpath 233 288 moveto
-229 280 225 270 220 261 curveto
+%	getter -> registry
+newpath 253 276 moveto
+243 265 230 252 219 240 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 223 260 moveto
-216 252 lineto
-217 263 lineto
+newpath 222 238 moveto
+212 233 lineto
+217 243 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 223 260 moveto
-216 252 lineto
-217 263 lineto
+newpath 222 238 moveto
+212 233 lineto
+217 243 lineto
 closepath
 stroke
 end grestore
 
-%	metadata -> cic_proof_checking
-newpath 360 365 moveto
-339 354 308 339 283 327 curveto
+%	metadata
+gsave 10 dict begin
+159 386 58 25 ellipse_path
+stroke
+gsave 10 dict begin
+115 378 moveto
+(metadata)
+[18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
+xshow
+end grestore
+end grestore
+
+%	metadata -> cic
+newpath 203 369 moveto
+211 366 219 363 227 360 curveto
+277 342 337 322 374 310 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 284 324 moveto
-274 322 lineto
-281 330 lineto
+newpath 375 313 moveto
+384 307 lineto
+373 307 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 284 324 moveto
-274 322 lineto
-281 330 lineto
+newpath 375 313 moveto
+384 307 lineto
+373 307 lineto
+closepath
+stroke
+end grestore
+
+%	metadata -> getter
+newpath 188 364 moveto
+203 352 223 337 240 324 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 242 327 moveto
+248 318 lineto
+238 321 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 242 327 moveto
+248 318 lineto
+238 321 lineto
 closepath
 stroke
 end grestore
 
 %	hmysql
 gsave 10 dict begin
-386 234 34 18 ellipse_path
+161 298 50 25 ellipse_path
 stroke
 gsave 10 dict begin
-364 229 moveto
+125 290 moveto
 (hmysql)
-[6.96 10.8 6.96 5.52 6.96 3.84]
+[12 18.72 12 9.36 12 6.72]
 xshow
 end grestore
 end grestore
 
 %	metadata -> hmysql
-newpath 386 360 moveto
-386 335 386 291 386 262 curveto
+newpath 160 360 moveto
+160 352 160 343 160 334 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 390 262 moveto
-386 252 lineto
-383 262 lineto
+newpath 164 334 moveto
+160 324 lineto
+157 334 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 390 262 moveto
-386 252 lineto
-383 262 lineto
+newpath 164 334 moveto
+160 324 lineto
+157 334 lineto
 closepath
 stroke
 end grestore
 
-%	cic_unification -> cic_proof_checking
-newpath 267 360 moveto
-263 352 259 342 254 333 curveto
+%	whelp -> metadata
+newpath 163 548 moveto
+162 515 161 459 160 422 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 257 332 moveto
-250 324 lineto
-251 335 lineto
+newpath 164 422 moveto
+160 412 lineto
+157 422 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 257 332 moveto
-250 324 lineto
-251 335 lineto
+newpath 164 422 moveto
+160 412 lineto
+157 422 lineto
 closepath
 stroke
 end grestore
 
-%	registry
+%	extlib
 gsave 10 dict begin
-386 162 35 18 ellipse_path
+431 34 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-364 157 moveto
-(registry)
-[4.56 6.24 6.96 3.84 5.52 3.84 4.56 6.96]
+403 26 moveto
+(extlib)
+[10.56 12 6.72 6.72 6.72 12]
 xshow
 end grestore
 end grestore
 
+%	hgdome
+gsave 10 dict begin
+571 210 54 25 ellipse_path
+stroke
+gsave 10 dict begin
+531 202 moveto
+(hgdome)
+[12 12 12 12 18.72 10.56]
+xshow
+end grestore
+end grestore
+
+%	hgdome -> xml
+newpath 538 189 moveto
+517 176 488 158 466 144 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 468 141 moveto
+458 139 lineto
+465 147 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 468 141 moveto
+458 139 lineto
+465 147 lineto
+closepath
+stroke
+end grestore
+
 %	hmysql -> registry
-newpath 386 216 moveto
-386 208 386 199 386 190 curveto
+newpath 169 273 moveto
+172 264 175 254 179 245 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 390 190 moveto
-386 180 lineto
-383 190 lineto
+newpath 182 246 moveto
+182 235 lineto
+176 244 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 390 190 moveto
-386 180 lineto
-383 190 lineto
+newpath 182 246 moveto
+182 235 lineto
+176 244 lineto
 closepath
 stroke
 end grestore
 
-%	urimanager
+%	registry -> xml
+newpath 229 193 moveto
+237 190 245 187 252 184 curveto
+299 166 354 147 390 135 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 391 138 moveto
+400 132 lineto
+389 132 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 391 138 moveto
+400 132 lineto
+389 132 lineto
+closepath
+stroke
+end grestore
+
+%	xml -> extlib
+newpath 431 96 moveto
+431 88 431 79 431 70 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 435 70 moveto
+431 60 lineto
+428 70 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 435 70 moveto
+431 60 lineto
+428 70 lineto
+closepath
+stroke
+end grestore
+
+%	DependencyAnalyzer
 gsave 10 dict begin
-208 162 45 18 ellipse_path
+filled
+0.584 0.220 0.933 nodecolor
+0.584 0.220 0.933 nodecolor
+newpath 136 512 moveto
+0 512 lineto
+0 448 lineto
+136 448 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 136 512 moveto
+0 512 lineto
+0 448 lineto
+136 448 lineto
+closepath
 stroke
 gsave 10 dict begin
-175 157 moveto
-(urimanager)
-[6.96 4.56 3.84 10.8 6.24 6.96 6.24 6.96 6.24 4.56]
+0.000 0.000 0.000 nodecolor
+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
 
-%	getter -> urimanager
-newpath 275 219 moveto
-263 209 248 196 235 185 curveto
+%	DependencyAnalyzer -> metadata
+newpath 99 448 moveto
+109 438 119 427 129 417 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 237 182 moveto
-227 178 lineto
-232 187 lineto
+newpath 131 420 moveto
+136 410 lineto
+126 415 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 237 182 moveto
-227 178 lineto
-232 187 lineto
+newpath 131 420 moveto
+136 410 lineto
+126 415 lineto
 closepath
 stroke
 end grestore
 
-%	getter -> registry
-newpath 311 220 moveto
-325 210 343 195 359 183 curveto
+%	Getter
+gsave 10 dict begin
+filled
+0.584 0.220 0.933 nodecolor
+0.584 0.220 0.933 nodecolor
+newpath 312 404 moveto
+236 404 lineto
+236 368 lineto
+312 368 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 312 404 moveto
+236 404 lineto
+236 368 lineto
+312 368 lineto
+closepath
+stroke
+gsave 10 dict begin
+0.000 0.000 0.000 nodecolor
+244 378 moveto
+(Getter)
+[17.28 10.56 6.72 6.72 10.56 7.92]
+xshow
+end grestore
+end grestore
+
+%	Getter -> getter
+newpath 274 368 moveto
+274 358 274 346 274 334 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 361 186 moveto
-367 177 lineto
-357 180 lineto
+newpath 278 334 moveto
+274 324 lineto
+271 334 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 361 186 moveto
-367 177 lineto
-357 180 lineto
+newpath 278 334 moveto
+274 324 lineto
+271 334 lineto
 closepath
 stroke
 end grestore
 
-%	logger
+%	Matita
 gsave 10 dict begin
-302 162 31 18 ellipse_path
+filled
+0.584 0.220 0.933 nodecolor
+0.584 0.220 0.933 nodecolor
+newpath 454 848 moveto
+376 848 lineto
+376 812 lineto
+454 812 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 454 848 moveto
+376 848 lineto
+376 812 lineto
+454 812 lineto
+closepath
 stroke
 gsave 10 dict begin
-284 157 moveto
-(logger)
-[3.84 6.96 6.96 6.96 6.24 4.56]
+0.000 0.000 0.000 nodecolor
+383 822 moveto
+(Matita)
+[21.36 10.56 6.72 6.72 6.72 10.56]
 xshow
 end grestore
 end grestore
 
-%	getter -> logger
-newpath 295 216 moveto
-296 208 297 199 298 190 curveto
+%	Matita -> cic_disambiguation
+newpath 376 815 moveto
+343 801 300 783 296 776 curveto
+281 752 289 721 299 696 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 301 190 moveto
-299 180 lineto
-295 190 lineto
+newpath 302 698 moveto
+303 687 lineto
+296 695 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 301 190 moveto
-299 180 lineto
-295 190 lineto
+newpath 302 698 moveto
+303 687 lineto
+296 695 lineto
 closepath
 stroke
 end grestore
 
-%	xml
+%	Matita -> grafite
+newpath 447 812 moveto
+466 801 491 786 512 774 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 514 777 moveto
+521 769 lineto
+511 771 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 514 777 moveto
+521 769 lineto
+511 771 lineto
+closepath
+stroke
+end grestore
+
+%	Matita -> paramodulation
+newpath 376 818 moveto
+336 806 272 787 223 772 curveto
+stroke
 gsave 10 dict begin
-260 90 27 18 ellipse_path
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 224 769 moveto
+213 769 lineto
+222 775 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 224 769 moveto
+213 769 lineto
+222 775 lineto
+closepath
+stroke
+end grestore
+
+%	Matita -> hgdome
+newpath 454 827 moveto
+524 814 562 831 610 776 curveto
+643 737 629 713 629 662 curveto
+629 662 629 662 629 386 curveto
+629 334 606 278 590 244 curveto
 stroke
 gsave 10 dict begin
-248 85 moveto
-(xml)
-[6.96 10.8 3.84]
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 593 242 moveto
+585 235 lineto
+587 245 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 593 242 moveto
+585 235 lineto
+587 245 lineto
+closepath
+stroke
+end grestore
+
+%	ProofChecker
+gsave 10 dict begin
+filled
+0.584 0.220 0.933 nodecolor
+0.584 0.220 0.933 nodecolor
+newpath 601 512 moveto
+505 512 lineto
+505 448 lineto
+601 448 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 601 512 moveto
+505 512 lineto
+505 448 lineto
+601 448 lineto
+closepath
+stroke
+gsave 10 dict begin
+0.000 0.000 0.000 nodecolor
+526 486 moveto
+(Proof)
+[13.44 7.92 12 12 7.92]
+xshow
+513 458 moveto
+(Checker)
+[16.08 12 10.56 10.56 12 10.56 7.92]
 xshow
 end grestore
 end grestore
 
-%	cic -> xml
-newpath 189 221 moveto
-176 212 161 197 154 180 curveto
-147 165 145 157 154 144 curveto
-169 119 199 105 224 98 curveto
+%	ProofChecker -> cic_proof_checking
+newpath 515 448 moveto
+503 438 490 427 478 417 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 225 101 moveto
-234 95 lineto
-223 95 lineto
+newpath 480 414 moveto
+470 411 lineto
+476 420 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 225 101 moveto
-234 95 lineto
-223 95 lineto
+newpath 480 414 moveto
+470 411 lineto
+476 420 lineto
 closepath
 stroke
 end grestore
 
-%	cic -> urimanager
-newpath 208 216 moveto
-208 208 208 199 208 190 curveto
+%	Uwobo
+gsave 10 dict begin
+filled
+0.584 0.220 0.933 nodecolor
+0.584 0.220 0.933 nodecolor
+newpath 489 768 moveto
+403 768 lineto
+403 732 lineto
+489 732 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 489 768 moveto
+403 768 lineto
+403 732 lineto
+489 732 lineto
+closepath
+stroke
+gsave 10 dict begin
+0.000 0.000 0.000 nodecolor
+410 742 moveto
+(Uwobo)
+[17.28 17.28 12 12 12]
+xshow
+end grestore
+end grestore
+
+%	Uwobo -> content_pres
+newpath 462 732 moveto
+472 721 484 707 495 695 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 212 190 moveto
-208 180 lineto
-205 190 lineto
+newpath 498 697 moveto
+502 687 lineto
+493 692 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 212 190 moveto
-208 180 lineto
-205 190 lineto
+newpath 498 697 moveto
+502 687 lineto
+493 692 lineto
 closepath
 stroke
 end grestore
 
-%	extlib
+%	Whelp
 gsave 10 dict begin
-260 18 29 18 ellipse_path
+filled
+0.584 0.220 0.933 nodecolor
+0.584 0.220 0.933 nodecolor
+newpath 385 768 moveto
+305 768 lineto
+305 732 lineto
+385 732 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 385 768 moveto
+305 768 lineto
+305 732 lineto
+385 732 lineto
+closepath
 stroke
 gsave 10 dict begin
-244 13 moveto
-(extlib)
-[6.24 6.96 3.84 3.84 3.84 6.96]
+0.000 0.000 0.000 nodecolor
+312 742 moveto
+(Whelp)
+[22.56 12 10.56 6.72 12]
 xshow
 end grestore
 end grestore
 
-%	xml -> extlib
-newpath 260 72 moveto
-260 64 260 55 260 46 curveto
+%	Whelp -> cic_disambiguation
+newpath 339 732 moveto
+336 722 332 709 329 698 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 264 46 moveto
-260 36 lineto
-257 46 lineto
+newpath 332 697 moveto
+326 688 lineto
+326 699 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 264 46 moveto
-260 36 lineto
-257 46 lineto
+newpath 332 697 moveto
+326 688 lineto
+326 699 lineto
 closepath
 stroke
 end grestore
 
-%	registry -> xml
-newpath 362 148 moveto
-342 137 312 120 290 107 curveto
+%	Whelp -> content_pres
+newpath 378 732 moveto
+383 729 389 726 394 724 curveto
+418 712 446 699 469 687 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 291 104 moveto
-281 102 lineto
-288 110 lineto
+newpath 470 690 moveto
+478 683 lineto
+467 684 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 291 104 moveto
-281 102 lineto
-288 110 lineto
+newpath 470 690 moveto
+478 683 lineto
+467 684 lineto
 closepath
 stroke
 end grestore