helm/papers/matita/libraries.ps

   1 %!PS-Adobe-2.0
   2 %%Creator: dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
   3 %%For: (zacchiro) Stefano Zacchiroli,,,
   4 %%Title: G
   5 %%Pages: (atend)
   6 %%BoundingBox: 35 35 866 873
   7 %%EndComments
   8 save
   9 %%BeginProlog
  10 /DotDict 200 dict def
  11 DotDict begin
  12
  13 /setupLatin1 {
  14 mark
  15 /EncodingVector 256 array def
  16  EncodingVector 0
  17
  18 ISOLatin1Encoding 0 255 getinterval putinterval
  19
  20 EncodingVector
  21   dup 306 /AE
  22   dup 301 /Aacute
  23   dup 302 /Acircumflex
  24   dup 304 /Adieresis
  25   dup 300 /Agrave
  26   dup 305 /Aring
  27   dup 303 /Atilde
  28   dup 307 /Ccedilla
  29   dup 311 /Eacute
  30   dup 312 /Ecircumflex
  31   dup 313 /Edieresis
  32   dup 310 /Egrave
  33   dup 315 /Iacute
  34   dup 316 /Icircumflex
  35   dup 317 /Idieresis
  36   dup 314 /Igrave
  37   dup 334 /Udieresis
  38   dup 335 /Yacute
  39   dup 376 /thorn
  40   dup 337 /germandbls
  41   dup 341 /aacute
  42   dup 342 /acircumflex
  43   dup 344 /adieresis
  44   dup 346 /ae
  45   dup 340 /agrave
  46   dup 345 /aring
  47   dup 347 /ccedilla
  48   dup 351 /eacute
  49   dup 352 /ecircumflex
  50   dup 353 /edieresis
  51   dup 350 /egrave
  52   dup 355 /iacute
  53   dup 356 /icircumflex
  54   dup 357 /idieresis
  55   dup 354 /igrave
  56   dup 360 /dcroat
  57   dup 361 /ntilde
  58   dup 363 /oacute
  59   dup 364 /ocircumflex
  60   dup 366 /odieresis
  61   dup 362 /ograve
  62   dup 365 /otilde
  63   dup 370 /oslash
  64   dup 372 /uacute
  65   dup 373 /ucircumflex
  66   dup 374 /udieresis
  67   dup 371 /ugrave
  68   dup 375 /yacute
  69   dup 377 /ydieresis
  70
  71 % Set up ISO Latin 1 character encoding
  72 /starnetISO {
  73         dup dup findfont dup length dict begin
  74         { 1 index /FID ne { def }{ pop pop } ifelse
  75         } forall
  76         /Encoding EncodingVector def
  77         currentdict end definefont
  78 } def
  79 /Times-Roman starnetISO def
  80 /Times-Italic starnetISO def
  81 /Times-Bold starnetISO def
  82 /Times-BoldItalic starnetISO def
  83 /Helvetica starnetISO def
  84 /Helvetica-Oblique starnetISO def
  85 /Helvetica-Bold starnetISO def
  86 /Helvetica-BoldOblique starnetISO def
  87 /Courier starnetISO def
  88 /Courier-Oblique starnetISO def
  89 /Courier-Bold starnetISO def
  90 /Courier-BoldOblique starnetISO def
  91 cleartomark
  92 } bind def
  93
  94 %%BeginResource: procset graphviz 0 0
  95 /coord-font-family /Times-Roman def
  96 /default-font-family /Times-Roman def
  97 /coordfont coord-font-family findfont 8 scalefont def
  98
  99 /InvScaleFactor 1.0 def
 100 /set_scale {
 101         dup 1 exch div /InvScaleFactor exch def
 102         dup scale
 103 } bind def
 104
 105 % styles
 106 /solid { [] 0 setdash } bind def
 107 /dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
 108 /dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
 109 /invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
 110 /bold { 2 setlinewidth } bind def
 111 /filled { } bind def
 112 /unfilled { } bind def
 113 /rounded { } bind def
 114 /diagonals { } bind def
 115
 116 % hooks for setting color
 117 /nodecolor { sethsbcolor } bind def
 118 /edgecolor { sethsbcolor } bind def
 119 /graphcolor { sethsbcolor } bind def
 120 /nopcolor {pop pop pop} bind def
 121
 122 /beginpage {    % i j npages
 123         /npages exch def
 124         /j exch def
 125         /i exch def
 126         /str 10 string def
 127         npages 1 gt {
 128                 gsave
 129                         coordfont setfont
 130                         0 0 moveto
 131                         (\() show i str cvs show (,) show j str cvs show (\)) show
 132                 grestore
 133         } if
 134 } bind def
 135
 136 /set_font {
 137         findfont exch
 138         scalefont setfont
 139 } def
 140
 141 % draw aligned label in bounding box aligned to current point
 142 /alignedtext {                  % width adj text
 143         /text exch def
 144         /adj exch def
 145         /width exch def
 146         gsave
 147                 width 0 gt {
 148                         text stringwidth pop adj mul 0 rmoveto
 149                 } if
 150                 [] 0 setdash
 151                 text show
 152         grestore
 153 } def
 154
 155 /boxprim {                              % xcorner ycorner xsize ysize
 156                 4 2 roll
 157                 moveto
 158                 2 copy
 159                 exch 0 rlineto
 160                 0 exch rlineto
 161                 pop neg 0 rlineto
 162                 closepath
 163 } bind def
 164
 165 /ellipse_path {
 166         /ry exch def
 167         /rx exch def
 168         /y exch def
 169         /x exch def
 170         matrix currentmatrix
 171         newpath
 172         x y translate
 173         rx ry scale
 174         0 0 1 0 360 arc
 175         setmatrix
 176 } bind def
 177
 178 /endpage { showpage } bind def
 179 /showpage { } def
 180
 181 /layercolorseq
 182         [       % layer color sequence - darkest to lightest
 183                 [0 0 0]
 184                 [.2 .8 .8]
 185                 [.4 .8 .8]
 186                 [.6 .8 .8]
 187                 [.8 .8 .8]
 188         ]
 189 def
 190
 191 /layerlen layercolorseq length def
 192
 193 /setlayer {/maxlayer exch def /curlayer exch def
 194         layercolorseq curlayer 1 sub layerlen mod get
 195         aload pop sethsbcolor
 196         /nodecolor {nopcolor} def
 197         /edgecolor {nopcolor} def
 198         /graphcolor {nopcolor} def
 199 } bind def
 200
 201 /onlayer { curlayer ne {invis} if } def
 202
 203 /onlayers {
 204         /myupper exch def
 205         /mylower exch def
 206         curlayer mylower lt
 207         curlayer myupper gt
 208         or
 209         {invis} if
 210 } def
 211
 212 /curlayer 0 def
 213
 214 %%EndResource
 215 %%EndProlog
 216 %%BeginSetup
 217 14 default-font-family set_font
 218 1 setmiterlimit
 219 % /arrowlength 10 def
 220 % /arrowwidth 5 def
 221
 222 % make sure pdfmark is harmless for PS-interpreters other than Distiller
 223 /pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
 224 % make '<<' and '>>' safe on PS Level 1 devices
 225 /languagelevel where {pop languagelevel}{1} ifelse
 226 2 lt {
 227     userdict (<<) cvn ([) cvn load put
 228     userdict (>>) cvn ([) cvn load put
 229 } if
 230
 231 %%EndSetup
 232 %%Page: 1 1
 233 %%PageBoundingBox: 36 36 866 873
 234 %%PageOrientation: Portrait
 235 gsave
 236 35 35 831 838 boxprim clip newpath
 237 36 36 translate
 238 0 0 1 beginpage
 239 0 0 translate 0 rotate
 240 0.000 0.000 0.000 graphcolor
 241 24.00 /Times-Roman set_font
 242
 243 %       acic_content
 244 gsave 10 dict begin
 245 583 562 75 25 ellipse_path
 246 stroke
 247 gsave 10 dict begin
 248 522 554 moveto
 249 (acic_content)
 250 [10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
 251 xshow
 252 end grestore
 253 end grestore
 254
 255 %       cic_acic
 256 gsave 10 dict begin
 257 562 474 54 25 ellipse_path
 258 stroke
 259 gsave 10 dict begin
 260 522 466 moveto
 261 (cic_acic)
 262 [10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
 263 xshow
 264 end grestore
 265 end grestore
 266
 267 %       acic_content -> cic_acic
 268 newpath 577 537 moveto
 269 575 528 573 518 570 509 curveto
 270 stroke
 271 gsave 10 dict begin
 272 solid
 273 1 setlinewidth
 274 0.000 0.000 0.000 edgecolor
 275 newpath 573 508 moveto
 276 568 499 lineto
 277 567 509 lineto
 278 closepath
 279 fill
 280 0.000 0.000 0.000 edgecolor
 281 newpath 573 508 moveto
 282 568 499 lineto
 283 567 509 lineto
 284 closepath
 285 stroke
 286 end grestore
 287
 288 %       cic_proof_checking
 289 gsave 10 dict begin
 290 468 386 110 25 ellipse_path
 291 stroke
 292 gsave 10 dict begin
 293 372 378 moveto
 294 (cic_proof_checking)
 295 [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]
 296 xshow
 297 end grestore
 298 end grestore
 299
 300 %       cic_acic -> cic_proof_checking
 301 newpath 537 451 moveto
 302 526 441 513 429 501 418 curveto
 303 stroke
 304 gsave 10 dict begin
 305 solid
 306 1 setlinewidth
 307 0.000 0.000 0.000 edgecolor
 308 newpath 504 416 moveto
 309 494 411 lineto
 310 499 421 lineto
 311 closepath
 312 fill
 313 0.000 0.000 0.000 edgecolor
 314 newpath 504 416 moveto
 315 494 411 lineto
 316 499 421 lineto
 317 closepath
 318 stroke
 319 end grestore
 320
 321 %       cic_disambiguation
 322 gsave 10 dict begin
 323 426 650 109 25 ellipse_path
 324 stroke
 325 gsave 10 dict begin
 326 331 642 moveto
 327 (cic_disambiguation)
 328 [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]
 329 xshow
 330 end grestore
 331 end grestore
 332
 333 %       cic_disambiguation -> acic_content
 334 newpath 468 626 moveto
 335 489 615 514 601 535 589 curveto
 336 stroke
 337 gsave 10 dict begin
 338 solid
 339 1 setlinewidth
 340 0.000 0.000 0.000 edgecolor
 341 newpath 537 592 moveto
 342 544 584 lineto
 343 534 586 lineto
 344 closepath
 345 fill
 346 0.000 0.000 0.000 edgecolor
 347 newpath 537 592 moveto
 348 544 584 lineto
 349 534 586 lineto
 350 closepath
 351 stroke
 352 end grestore
 353
 354 %       cic_unification
 355 gsave 10 dict begin
 356 402 562 86 25 ellipse_path
 357 stroke
 358 gsave 10 dict begin
 359 330 554 moveto
 360 (cic_unification)
 361 [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]
 362 xshow
 363 end grestore
 364 end grestore
 365
 366 %       cic_disambiguation -> cic_unification
 367 newpath 419 625 moveto
 368 417 616 414 607 412 598 curveto
 369 stroke
 370 gsave 10 dict begin
 371 solid
 372 1 setlinewidth
 373 0.000 0.000 0.000 edgecolor
 374 newpath 415 597 moveto
 375 409 588 lineto
 376 409 599 lineto
 377 closepath
 378 fill
 379 0.000 0.000 0.000 edgecolor
 380 newpath 415 597 moveto
 381 409 588 lineto
 382 409 599 lineto
 383 closepath
 384 stroke
 385 end grestore
 386
 387 %       whelp
 388 gsave 10 dict begin
 389 252 562 44 25 ellipse_path
 390 stroke
 391 gsave 10 dict begin
 392 222 554 moveto
 393 (whelp)
 394 [17.28 12 10.56 6.72 12]
 395 xshow
 396 end grestore
 397 end grestore
 398
 399 %       cic_disambiguation -> whelp
 400 newpath 380 627 moveto
 401 353 614 320 597 295 584 curveto
 402 stroke
 403 gsave 10 dict begin
 404 solid
 405 1 setlinewidth
 406 0.000 0.000 0.000 edgecolor
 407 newpath 296 581 moveto
 408 286 579 lineto
 409 293 587 lineto
 410 closepath
 411 fill
 412 0.000 0.000 0.000 edgecolor
 413 newpath 296 581 moveto
 414 286 579 lineto
 415 293 587 lineto
 416 closepath
 417 stroke
 418 end grestore
 419
 420 %       content_pres
 421 gsave 10 dict begin
 422 631 650 76 25 ellipse_path
 423 stroke
 424 gsave 10 dict begin
 425 569 642 moveto
 426 (content_pres)
 427 [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
 428 xshow
 429 end grestore
 430 end grestore
 431
 432 %       content_pres -> acic_content
 433 newpath 617 625 moveto
 434 612 616 607 606 602 596 curveto
 435 stroke
 436 gsave 10 dict begin
 437 solid
 438 1 setlinewidth
 439 0.000 0.000 0.000 edgecolor
 440 newpath 605 594 moveto
 441 597 587 lineto
 442 599 597 lineto
 443 closepath
 444 fill
 445 0.000 0.000 0.000 edgecolor
 446 newpath 605 594 moveto
 447 597 587 lineto
 448 599 597 lineto
 449 closepath
 450 stroke
 451 end grestore
 452
 453 %       utf8_macros
 454 gsave 10 dict begin
 455 753 562 75 25 ellipse_path
 456 stroke
 457 gsave 10 dict begin
 458 692 554 moveto
 459 (utf8_macros)
 460 [12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
 461 xshow
 462 end grestore
 463 end grestore
 464
 465 %       content_pres -> utf8_macros
 466 newpath 663 627 moveto
 467 678 616 697 603 713 591 curveto
 468 stroke
 469 gsave 10 dict begin
 470 solid
 471 1 setlinewidth
 472 0.000 0.000 0.000 edgecolor
 473 newpath 715 594 moveto
 474 721 585 lineto
 475 711 588 lineto
 476 closepath
 477 fill
 478 0.000 0.000 0.000 edgecolor
 479 newpath 715 594 moveto
 480 721 585 lineto
 481 711 588 lineto
 482 closepath
 483 stroke
 484 end grestore
 485
 486 %       grafite
 487 gsave 10 dict begin
 488 689 738 46 25 ellipse_path
 489 stroke
 490 gsave 10 dict begin
 491 657 730 moveto
 492 (grafite)
 493 [12 7.92 10.56 7.92 6.72 6.72 10.56]
 494 xshow
 495 end grestore
 496 end grestore
 497
 498 %       grafite -> content_pres
 499 newpath 673 714 moveto
 500 667 705 659 694 653 684 curveto
 501 stroke
 502 gsave 10 dict begin
 503 solid
 504 1 setlinewidth
 505 0.000 0.000 0.000 edgecolor
 506 newpath 655 681 moveto
 507 647 675 lineto
 508 650 685 lineto
 509 closepath
 510 fill
 511 0.000 0.000 0.000 edgecolor
 512 newpath 655 681 moveto
 513 647 675 lineto
 514 650 685 lineto
 515 closepath
 516 stroke
 517 end grestore
 518
 519 %       cic_unification -> cic_proof_checking
 520 newpath 425 537 moveto
 521 434 526 443 513 449 500 curveto
 522 459 475 465 445 466 422 curveto
 523 stroke
 524 gsave 10 dict begin
 525 solid
 526 1 setlinewidth
 527 0.000 0.000 0.000 edgecolor
 528 newpath 469 422 moveto
 529 467 412 lineto
 530 463 422 lineto
 531 closepath
 532 fill
 533 0.000 0.000 0.000 edgecolor
 534 newpath 469 422 moveto
 535 467 412 lineto
 536 463 422 lineto
 537 closepath
 538 stroke
 539 end grestore
 540
 541 %       tactics
 542 gsave 10 dict begin
 543 252 650 45 25 ellipse_path
 544 stroke
 545 gsave 10 dict begin
 546 221 642 moveto
 547 (tactics)
 548 [6.72 10.56 10.56 6.72 6.72 10.56 9.36]
 549 xshow
 550 end grestore
 551 end grestore
 552
 553 %       tactics -> cic_unification
 554 newpath 284 631 moveto
 555 304 620 332 603 354 590 curveto
 556 stroke
 557 gsave 10 dict begin
 558 solid
 559 1 setlinewidth
 560 0.000 0.000 0.000 edgecolor
 561 newpath 356 593 moveto
 562 363 585 lineto
 563 353 587 lineto
 564 closepath
 565 fill
 566 0.000 0.000 0.000 edgecolor
 567 newpath 356 593 moveto
 568 363 585 lineto
 569 353 587 lineto
 570 closepath
 571 stroke
 572 end grestore
 573
 574 %       tactics -> whelp
 575 newpath 252 624 moveto
 576 252 616 252 607 252 598 curveto
 577 stroke
 578 gsave 10 dict begin
 579 solid
 580 1 setlinewidth
 581 0.000 0.000 0.000 edgecolor
 582 newpath 256 598 moveto
 583 252 588 lineto
 584 249 598 lineto
 585 closepath
 586 fill
 587 0.000 0.000 0.000 edgecolor
 588 newpath 256 598 moveto
 589 252 588 lineto
 590 249 598 lineto
 591 closepath
 592 stroke
 593 end grestore
 594
 595 %       paramodulation
 596 gsave 10 dict begin
 597 279 738 90 25 ellipse_path
 598 stroke
 599 gsave 10 dict begin
 600 203 730 moveto
 601 (paramodulation)
 602 [12 10.56 7.92 10.56 18.72 12 12 12 6.72 10.56 6.72 6.72 12 12]
 603 xshow
 604 end grestore
 605 end grestore
 606
 607 %       paramodulation -> tactics
 608 newpath 271 713 moveto
 609 268 704 265 694 263 685 curveto
 610 stroke
 611 gsave 10 dict begin
 612 solid
 613 1 setlinewidth
 614 0.000 0.000 0.000 edgecolor
 615 newpath 266 684 moveto
 616 260 675 lineto
 617 260 686 lineto
 618 closepath
 619 fill
 620 0.000 0.000 0.000 edgecolor
 621 newpath 266 684 moveto
 622 260 675 lineto
 623 260 686 lineto
 624 closepath
 625 stroke
 626 end grestore
 627
 628 %       cic
 629 gsave 10 dict begin
 630 462 298 28 25 ellipse_path
 631 stroke
 632 gsave 10 dict begin
 633 448 290 moveto
 634 (cic)
 635 [10.56 6.72 10.56]
 636 xshow
 637 end grestore
 638 end grestore
 639
 640 %       urimanager
 641 gsave 10 dict begin
 642 456 210 70 25 ellipse_path
 643 stroke
 644 gsave 10 dict begin
 645 400 202 moveto
 646 (urimanager)
 647 [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
 648 xshow
 649 end grestore
 650 end grestore
 651
 652 %       cic -> urimanager
 653 newpath 460 272 moveto
 654 459 264 459 255 458 246 curveto
 655 stroke
 656 gsave 10 dict begin
 657 solid
 658 1 setlinewidth
 659 0.000 0.000 0.000 edgecolor
 660 newpath 462 246 moveto
 661 458 236 lineto
 662 455 246 lineto
 663 closepath
 664 fill
 665 0.000 0.000 0.000 edgecolor
 666 newpath 462 246 moveto
 667 458 236 lineto
 668 455 246 lineto
 669 closepath
 670 stroke
 671 end grestore
 672
 673 %       xml
 674 gsave 10 dict begin
 675 312 122 33 25 ellipse_path
 676 stroke
 677 gsave 10 dict begin
 678 293 114 moveto
 679 (xml)
 680 [12 18.72 6.72]
 681 xshow
 682 end grestore
 683 end grestore
 684
 685 %       cic -> xml
 686 newpath 487 285 moveto
 687 504 274 525 257 536 236 curveto
 688 545 215 549 202 536 184 curveto
 689 513 155 414 136 356 127 curveto
 690 stroke
 691 gsave 10 dict begin
 692 solid
 693 1 setlinewidth
 694 0.000 0.000 0.000 edgecolor
 695 newpath 356 124 moveto
 696 346 126 lineto
 697 356 130 lineto
 698 closepath
 699 fill
 700 0.000 0.000 0.000 edgecolor
 701 newpath 356 124 moveto
 702 346 126 lineto
 703 356 130 lineto
 704 closepath
 705 stroke
 706 end grestore
 707
 708 %       cic_proof_checking -> cic
 709 newpath 466 360 moveto
 710 465 352 465 343 464 334 curveto
 711 stroke
 712 gsave 10 dict begin
 713 solid
 714 1 setlinewidth
 715 0.000 0.000 0.000 edgecolor
 716 newpath 468 334 moveto
 717 464 324 lineto
 718 461 334 lineto
 719 closepath
 720 fill
 721 0.000 0.000 0.000 edgecolor
 722 newpath 468 334 moveto
 723 464 324 lineto
 724 461 334 lineto
 725 closepath
 726 stroke
 727 end grestore
 728
 729 %       getter
 730 gsave 10 dict begin
 731 301 298 42 25 ellipse_path
 732 stroke
 733 gsave 10 dict begin
 734 273 290 moveto
 735 (getter)
 736 [12 10.56 6.72 6.72 10.56 7.92]
 737 xshow
 738 end grestore
 739 end grestore
 740
 741 %       cic_proof_checking -> getter
 742 newpath 423 362 moveto
 743 398 349 367 332 342 320 curveto
 744 stroke
 745 gsave 10 dict begin
 746 solid
 747 1 setlinewidth
 748 0.000 0.000 0.000 edgecolor
 749 newpath 343 317 moveto
 750 333 315 lineto
 751 340 323 lineto
 752 closepath
 753 fill
 754 0.000 0.000 0.000 edgecolor
 755 newpath 343 317 moveto
 756 333 315 lineto
 757 340 323 lineto
 758 closepath
 759 stroke
 760 end grestore
 761
 762 %       getter -> urimanager
 763 newpath 332 280 moveto
 764 354 268 384 250 409 237 curveto
 765 stroke
 766 gsave 10 dict begin
 767 solid
 768 1 setlinewidth
 769 0.000 0.000 0.000 edgecolor
 770 newpath 411 240 moveto
 771 418 232 lineto
 772 408 234 lineto
 773 closepath
 774 fill
 775 0.000 0.000 0.000 edgecolor
 776 newpath 411 240 moveto
 777 418 232 lineto
 778 408 234 lineto
 779 closepath
 780 stroke
 781 end grestore
 782
 783 %       registry
 784 gsave 10 dict begin
 785 186 210 52 25 ellipse_path
 786 stroke
 787 gsave 10 dict begin
 788 148 202 moveto
 789 (registry)
 790 [7.92 10.56 12 6.72 9.36 6.72 7.92 12]
 791 xshow
 792 end grestore
 793 end grestore
 794
 795 %       getter -> registry
 796 newpath 275 278 moveto
 797 260 266 240 251 222 238 curveto
 798 stroke
 799 gsave 10 dict begin
 800 solid
 801 1 setlinewidth
 802 0.000 0.000 0.000 edgecolor
 803 newpath 224 235 moveto
 804 214 232 lineto
 805 220 241 lineto
 806 closepath
 807 fill
 808 0.000 0.000 0.000 edgecolor
 809 newpath 224 235 moveto
 810 214 232 lineto
 811 220 241 lineto
 812 closepath
 813 stroke
 814 end grestore
 815
 816 %       metadata
 817 gsave 10 dict begin
 818 186 386 58 25 ellipse_path
 819 stroke
 820 gsave 10 dict begin
 821 142 378 moveto
 822 (metadata)
 823 [18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
 824 xshow
 825 end grestore
 826 end grestore
 827
 828 %       metadata -> cic
 829 newpath 230 369 moveto
 830 238 366 246 363 254 360 curveto
 831 313 340 382 319 424 308 curveto
 832 stroke
 833 gsave 10 dict begin
 834 solid
 835 1 setlinewidth
 836 0.000 0.000 0.000 edgecolor
 837 newpath 425 311 moveto
 838 434 305 lineto
 839 423 305 lineto
 840 closepath
 841 fill
 842 0.000 0.000 0.000 edgecolor
 843 newpath 425 311 moveto
 844 434 305 lineto
 845 423 305 lineto
 846 closepath
 847 stroke
 848 end grestore
 849
 850 %       metadata -> getter
 851 newpath 215 364 moveto
 852 230 352 250 337 267 324 curveto
 853 stroke
 854 gsave 10 dict begin
 855 solid
 856 1 setlinewidth
 857 0.000 0.000 0.000 edgecolor
 858 newpath 269 327 moveto
 859 275 318 lineto
 860 265 321 lineto
 861 closepath
 862 fill
 863 0.000 0.000 0.000 edgecolor
 864 newpath 269 327 moveto
 865 275 318 lineto
 866 265 321 lineto
 867 closepath
 868 stroke
 869 end grestore
 870
 871 %       hmysql
 872 gsave 10 dict begin
 873 186 298 50 25 ellipse_path
 874 stroke
 875 gsave 10 dict begin
 876 150 290 moveto
 877 (hmysql)
 878 [12 18.72 12 9.36 12 6.72]
 879 xshow
 880 end grestore
 881 end grestore
 882
 883 %       metadata -> hmysql
 884 newpath 186 360 moveto
 885 186 352 186 343 186 334 curveto
 886 stroke
 887 gsave 10 dict begin
 888 solid
 889 1 setlinewidth
 890 0.000 0.000 0.000 edgecolor
 891 newpath 190 334 moveto
 892 186 324 lineto
 893 183 334 lineto
 894 closepath
 895 fill
 896 0.000 0.000 0.000 edgecolor
 897 newpath 190 334 moveto
 898 186 324 lineto
 899 183 334 lineto
 900 closepath
 901 stroke
 902 end grestore
 903
 904 %       whelp -> metadata
 905 newpath 251 536 moveto
 906 250 512 245 476 233 448 curveto
 907 228 437 222 427 215 418 curveto
 908 stroke
 909 gsave 10 dict begin
 910 solid
 911 1 setlinewidth
 912 0.000 0.000 0.000 edgecolor
 913 newpath 218 416 moveto
 914 209 410 lineto
 915 212 420 lineto
 916 closepath
 917 fill
 918 0.000 0.000 0.000 edgecolor
 919 newpath 218 416 moveto
 920 209 410 lineto
 921 212 420 lineto
 922 closepath
 923 stroke
 924 end grestore
 925
 926 %       extlib
 927 gsave 10 dict begin
 928 312 34 42 25 ellipse_path
 929 stroke
 930 gsave 10 dict begin
 931 284 26 moveto
 932 (extlib)
 933 [10.56 12 6.72 6.72 6.72 12]
 934 xshow
 935 end grestore
 936 end grestore
 937
 938 %       hgdome
 939 gsave 10 dict begin
 940 312 210 54 25 ellipse_path
 941 stroke
 942 gsave 10 dict begin
 943 272 202 moveto
 944 (hgdome)
 945 [12 12 12 12 18.72 10.56]
 946 xshow
 947 end grestore
 948 end grestore
 949
 950 %       hgdome -> xml
 951 newpath 312 184 moveto
 952 312 176 312 167 312 158 curveto
 953 stroke
 954 gsave 10 dict begin
 955 solid
 956 1 setlinewidth
 957 0.000 0.000 0.000 edgecolor
 958 newpath 316 158 moveto
 959 312 148 lineto
 960 309 158 lineto
 961 closepath
 962 fill
 963 0.000 0.000 0.000 edgecolor
 964 newpath 316 158 moveto
 965 312 148 lineto
 966 309 158 lineto
 967 closepath
 968 stroke
 969 end grestore
 970
 971 %       hmysql -> registry
 972 newpath 186 272 moveto
 973 186 264 186 255 186 246 curveto
 974 stroke
 975 gsave 10 dict begin
 976 solid
 977 1 setlinewidth
 978 0.000 0.000 0.000 edgecolor
 979 newpath 190 246 moveto
 980 186 236 lineto
 981 183 246 lineto
 982 closepath
 983 fill
 984 0.000 0.000 0.000 edgecolor
 985 newpath 190 246 moveto
 986 186 236 lineto
 987 183 246 lineto
 988 closepath
 989 stroke
 990 end grestore
 991
 992 %       registry -> xml
 993 newpath 216 189 moveto
 994 235 176 260 159 279 145 curveto
 995 stroke
 996 gsave 10 dict begin
 997 solid
 998 1 setlinewidth
 999 0.000 0.000 0.000 edgecolor
1000 newpath 281 148 moveto
1001 287 139 lineto
1002 277 142 lineto
1003 closepath
1004 fill
1005 0.000 0.000 0.000 edgecolor
1006 newpath 281 148 moveto
1007 287 139 lineto
1008 277 142 lineto
1009 closepath
1010 stroke
1011 end grestore
1012
1013 %       xml -> extlib
1014 newpath 312 96 moveto
1015 312 88 312 79 312 70 curveto
1016 stroke
1017 gsave 10 dict begin
1018 solid
1019 1 setlinewidth
1020 0.000 0.000 0.000 edgecolor
1021 newpath 316 70 moveto
1022 312 60 lineto
1023 309 70 lineto
1024 closepath
1025 fill
1026 0.000 0.000 0.000 edgecolor
1027 newpath 316 70 moveto
1028 312 60 lineto
1029 309 70 lineto
1030 closepath
1031 stroke
1032 end grestore
1033
1034 %       DependencyAnalyzer
1035 gsave 10 dict begin
1036 filled
1037 0.584 0.220 0.933 nodecolor
1038 0.584 0.220 0.933 nodecolor
1039 newpath 224 492 moveto
1040 0 492 lineto
1041 0 456 lineto
1042 224 456 lineto
1043 closepath
1044 fill
1045 0.584 0.220 0.933 nodecolor
1046 newpath 224 492 moveto
1047 0 492 lineto
1048 0 456 lineto
1049 224 456 lineto
1050 closepath
1051 stroke
1052 gsave 10 dict begin
1053 0.000 0.000 0.000 nodecolor
1054 8 466 moveto
1055 (DependencyAnalyzer)
1056 [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]
1057 xshow
1058 end grestore
1059 end grestore
1060
1061 %       DependencyAnalyzer -> metadata
1062 newpath 127 456 moveto
1063 136 445 148 431 159 418 curveto
1064 stroke
1065 gsave 10 dict begin
1066 solid
1067 1 setlinewidth
1068 0.000 0.000 0.000 edgecolor
1069 newpath 162 420 moveto
1070 166 410 lineto
1071 157 415 lineto
1072 closepath
1073 fill
1074 0.000 0.000 0.000 edgecolor
1075 newpath 162 420 moveto
1076 166 410 lineto
1077 157 415 lineto
1078 closepath
1079 stroke
1080 end grestore
1081
1082 %       Getter
1083 gsave 10 dict begin
1084 filled
1085 0.584 0.220 0.933 nodecolor
1086 0.584 0.220 0.933 nodecolor
1087 newpath 339 404 moveto
1088 263 404 lineto
1089 263 368 lineto
1090 339 368 lineto
1091 closepath
1092 fill
1093 0.584 0.220 0.933 nodecolor
1094 newpath 339 404 moveto
1095 263 404 lineto
1096 263 368 lineto
1097 339 368 lineto
1098 closepath
1099 stroke
1100 gsave 10 dict begin
1101 0.000 0.000 0.000 nodecolor
1102 271 378 moveto
1103 (Getter)
1104 [17.28 10.56 6.72 6.72 10.56 7.92]
1105 xshow
1106 end grestore
1107 end grestore
1108
1109 %       Getter -> getter
1110 newpath 301 368 moveto
1111 301 358 301 346 301 334 curveto
1112 stroke
1113 gsave 10 dict begin
1114 solid
1115 1 setlinewidth
1116 0.000 0.000 0.000 edgecolor
1117 newpath 305 334 moveto
1118 301 324 lineto
1119 298 334 lineto
1120 closepath
1121 fill
1122 0.000 0.000 0.000 edgecolor
1123 newpath 305 334 moveto
1124 301 324 lineto
1125 298 334 lineto
1126 closepath
1127 stroke
1128 end grestore
1129
1130 %       Matita
1131 gsave 10 dict begin
1132 filled
1133 0.584 0.220 0.933 nodecolor
1134 0.584 0.220 0.933 nodecolor
1135 newpath 451 836 moveto
1136 373 836 lineto
1137 373 800 lineto
1138 451 800 lineto
1139 closepath
1140 fill
1141 0.584 0.220 0.933 nodecolor
1142 newpath 451 836 moveto
1143 373 836 lineto
1144 373 800 lineto
1145 451 800 lineto
1146 closepath
1147 stroke
1148 gsave 10 dict begin
1149 0.000 0.000 0.000 nodecolor
1150 380 810 moveto
1151 (Matita)
1152 [21.36 10.56 6.72 6.72 6.72 10.56]
1153 xshow
1154 end grestore
1155 end grestore
1156
1157 %       Matita -> cic_disambiguation
1158 newpath 414 800 moveto
1159 416 773 420 721 423 686 curveto
1160 stroke
1161 gsave 10 dict begin
1162 solid
1163 1 setlinewidth
1164 0.000 0.000 0.000 edgecolor
1165 newpath 426 686 moveto
1166 424 676 lineto
1167 420 686 lineto
1168 closepath
1169 fill
1170 0.000 0.000 0.000 edgecolor
1171 newpath 426 686 moveto
1172 424 676 lineto
1173 420 686 lineto
1174 closepath
1175 stroke
1176 end grestore
1177
1178 %       Matita -> grafite
1179 newpath 451 811 moveto
1180 496 802 571 785 633 764 curveto
1181 637 762 641 761 644 759 curveto
1182 stroke
1183 gsave 10 dict begin
1184 solid
1185 1 setlinewidth
1186 0.000 0.000 0.000 edgecolor
1187 newpath 646 762 moveto
1188 654 755 lineto
1189 643 755 lineto
1190 closepath
1191 fill
1192 0.000 0.000 0.000 edgecolor
1193 newpath 646 762 moveto
1194 654 755 lineto
1195 643 755 lineto
1196 closepath
1197 stroke
1198 end grestore
1199
1200 %       Matita -> paramodulation
1201 newpath 382 800 moveto
1202 366 790 345 777 327 766 curveto
1203 stroke
1204 gsave 10 dict begin
1205 solid
1206 1 setlinewidth
1207 0.000 0.000 0.000 edgecolor
1208 newpath 328 763 moveto
1209 318 761 lineto
1210 325 769 lineto
1211 closepath
1212 fill
1213 0.000 0.000 0.000 edgecolor
1214 newpath 328 763 moveto
1215 318 761 lineto
1216 325 769 lineto
1217 closepath
1218 stroke
1219 end grestore
1220
1221 %       ProofChecker
1222 gsave 10 dict begin
1223 filled
1224 0.584 0.220 0.933 nodecolor
1225 0.584 0.220 0.933 nodecolor
1226 newpath 440 492 moveto
1227 290 492 lineto
1228 290 456 lineto
1229 440 456 lineto
1230 closepath
1231 fill
1232 0.584 0.220 0.933 nodecolor
1233 newpath 440 492 moveto
1234 290 492 lineto
1235 290 456 lineto
1236 440 456 lineto
1237 closepath
1238 stroke
1239 gsave 10 dict begin
1240 0.000 0.000 0.000 nodecolor
1241 298 466 moveto
1242 (ProofChecker)
1243 [13.44 7.92 12 12 7.92 16.08 12 10.56 10.56 12 10.56 7.92]
1244 xshow
1245 end grestore
1246 end grestore
1247
1248 %       ProofChecker -> cic_proof_checking
1249 newpath 386 456 moveto
1250 400 445 416 430 431 417 curveto
1251 stroke
1252 gsave 10 dict begin
1253 solid
1254 1 setlinewidth
1255 0.000 0.000 0.000 edgecolor
1256 newpath 433 420 moveto
1257 439 411 lineto
1258 429 414 lineto
1259 closepath
1260 fill
1261 0.000 0.000 0.000 edgecolor
1262 newpath 433 420 moveto
1263 439 411 lineto
1264 429 414 lineto
1265 closepath
1266 stroke
1267 end grestore
1268
1269 %       Uwobo
1270 gsave 10 dict begin
1271 filled
1272 0.584 0.220 0.933 nodecolor
1273 0.584 0.220 0.933 nodecolor
1274 newpath 624 756 moveto
1275 538 756 lineto
1276 538 720 lineto
1277 624 720 lineto
1278 closepath
1279 fill
1280 0.584 0.220 0.933 nodecolor
1281 newpath 624 756 moveto
1282 538 756 lineto
1283 538 720 lineto
1284 624 720 lineto
1285 closepath
1286 stroke
1287 gsave 10 dict begin
1288 0.000 0.000 0.000 nodecolor
1289 545 730 moveto
1290 (Uwobo)
1291 [17.28 17.28 12 12 12]
1292 xshow
1293 end grestore
1294 end grestore
1295
1296 %       Uwobo -> content_pres
1297 newpath 591 720 moveto
1298 597 710 605 696 612 684 curveto
1299 stroke
1300 gsave 10 dict begin
1301 solid
1302 1 setlinewidth
1303 0.000 0.000 0.000 edgecolor
1304 newpath 615 685 moveto
1305 617 675 lineto
1306 609 682 lineto
1307 closepath
1308 fill
1309 0.000 0.000 0.000 edgecolor
1310 newpath 615 685 moveto
1311 617 675 lineto
1312 609 682 lineto
1313 closepath
1314 stroke
1315 end grestore
1316
1317 %       Whelp
1318 gsave 10 dict begin
1319 filled
1320 0.584 0.220 0.933 nodecolor
1321 0.584 0.220 0.933 nodecolor
1322 newpath 520 756 moveto
1323 440 756 lineto
1324 440 720 lineto
1325 520 720 lineto
1326 closepath
1327 fill
1328 0.584 0.220 0.933 nodecolor
1329 newpath 520 756 moveto
1330 440 756 lineto
1331 440 720 lineto
1332 520 720 lineto
1333 closepath
1334 stroke
1335 gsave 10 dict begin
1336 0.000 0.000 0.000 nodecolor
1337 447 730 moveto
1338 (Whelp)
1339 [22.56 12 10.56 6.72 12]
1340 xshow
1341 end grestore
1342 end grestore
1343
1344 %       Whelp -> cic_disambiguation
1345 newpath 469 720 moveto
1346 463 710 454 696 447 684 curveto
1347 stroke
1348 gsave 10 dict begin
1349 solid
1350 1 setlinewidth
1351 0.000 0.000 0.000 edgecolor
1352 newpath 450 682 moveto
1353 442 675 lineto
1354 444 685 lineto
1355 closepath
1356 fill
1357 0.000 0.000 0.000 edgecolor
1358 newpath 450 682 moveto
1359 442 675 lineto
1360 444 685 lineto
1361 closepath
1362 stroke
1363 end grestore
1364
1365 %       Whelp -> content_pres
1366 newpath 511 720 moveto
1367 532 708 560 691 584 677 curveto
1368 stroke
1369 gsave 10 dict begin
1370 solid
1371 1 setlinewidth
1372 0.000 0.000 0.000 edgecolor
1373 newpath 586 680 moveto
1374 593 672 lineto
1375 583 674 lineto
1376 closepath
1377 fill
1378 0.000 0.000 0.000 edgecolor
1379 newpath 586 680 moveto
1380 593 672 lineto
1381 583 674 lineto
1382 closepath
1383 stroke
1384 end grestore
1385 endpage
1386 showpage
1387 grestore
1388 %%PageTrailer
1389 %%EndPage: 1
1390 %%Trailer
1391 %%Pages: 1
1392 end
1393 restore
1394 %%EOF