%!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 819 801
%%EndComments
save
%%BeginProlog
%%EndSetup
%%Page: 1 1
-%%PageBoundingBox: 36 36 461 649
+%%PageBoundingBox: 36 36 819 801
%%PageOrientation: Portrait
gsave
-35 35 426 614 boxprim clip newpath
+35 35 784 766 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
+536 562 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]
+475 554 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
+487 474 54 25 ellipse_path
+stroke
+gsave 10 dict begin
+447 466 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 522 537 moveto
+517 528 511 518 506 508 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 509 506 moveto
+501 499 lineto
+503 509 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 509 506 moveto
+501 499 lineto
+503 509 lineto
+closepath
+stroke
+end grestore
+
+% cic_proof_checking
+gsave 10 dict begin
+487 386 110 25 ellipse_path
+stroke
+gsave 10 dict begin
+391 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 487 448 moveto
+487 440 487 431 487 422 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 491 422 moveto
+487 412 lineto
+484 422 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 491 422 moveto
+487 412 lineto
+484 422 lineto
+closepath
+stroke
+end grestore
+
% cic_disambiguation
gsave 10 dict begin
-164 522 68 18 ellipse_path
+377 650 109 25 ellipse_path
stroke
gsave 10 dict begin
-109 517 moveto
+282 642 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 420 626 moveto
+441 615 466 601 487 589 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 489 592 moveto
+496 584 lineto
+486 586 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 168 550 moveto
-164 540 lineto
-161 550 lineto
+newpath 489 592 moveto
+496 584 lineto
+486 586 lineto
closepath
stroke
end grestore
-% cic_notation
+% cic_unification
gsave 10 dict begin
-48 378 48 18 ellipse_path
+355 562 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]
+283 554 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 371 624 moveto
+369 616 366 607 364 598 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 367 597 moveto
+362 588 lineto
+361 598 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 55 405 moveto
-50 396 lineto
-49 406 lineto
+newpath 367 597 moveto
+362 588 lineto
+361 598 lineto
closepath
stroke
end grestore
-% tactics
+% whelp
gsave 10 dict begin
-275 450 31 18 ellipse_path
+205 562 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]
+175 554 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 331 627 moveto
+305 614 273 597 247 584 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 248 581 moveto
+238 579 lineto
+245 587 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 248 472 moveto
-254 463 lineto
-244 466 lineto
+newpath 248 581 moveto
+238 579 lineto
+245 587 lineto
closepath
stroke
end grestore
-% cic_proof_checking
+% content_pres
gsave 10 dict begin
-242 306 68 18 ellipse_path
+643 650 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]
+581 642 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 614 626 moveto
+602 616 586 603 573 593 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 575 590 moveto
+565 586 lineto
+570 595 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 194 328 moveto
-202 321 lineto
-191 321 lineto
+newpath 575 590 moveto
+565 586 lineto
+570 595 lineto
closepath
stroke
end grestore
% utf8_macros
gsave 10 dict begin
-48 306 48 18 ellipse_path
+706 562 75 25 ellipse_path
stroke
gsave 10 dict begin
-12 301 moveto
+645 554 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]
+[12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
xshow
end grestore
end grestore
-% cic_notation -> utf8_macros
-newpath 48 360 moveto
-48 352 48 343 48 334 curveto
+% content_pres -> utf8_macros
+newpath 661 625 moveto
+668 616 676 605 682 595 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 685 597 moveto
+688 587 lineto
+679 593 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 52 334 moveto
-48 324 lineto
-45 334 lineto
+newpath 685 597 moveto
+688 587 lineto
+679 593 lineto
closepath
stroke
end grestore
-% metadata
+% grafite
gsave 10 dict begin
-386 378 38 18 ellipse_path
+644 738 46 25 ellipse_path
stroke
gsave 10 dict begin
-360 373 moveto
-(metadata)
-[10.8 6.24 3.84 6.24 6.96 6.24 3.84 6.24]
+612 730 moveto
+(grafite)
+[12 7.92 10.56 7.92 6.72 6.72 10.56]
xshow
end grestore
end grestore
-% tactics -> metadata
-newpath 296 436 moveto
-312 426 336 411 355 399 curveto
+% grafite -> content_pres
+newpath 644 712 moveto
+644 704 643 695 643 686 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 647 686 moveto
+643 676 lineto
+640 686 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 357 402 moveto
-363 393 lineto
-353 396 lineto
+newpath 647 686 moveto
+643 676 lineto
+640 686 lineto
closepath
stroke
end grestore
-% cic_unification
+% cic_unification -> cic_proof_checking
+newpath 367 537 moveto
+380 513 400 476 423 448 curveto
+431 438 441 427 450 418 curveto
+stroke
gsave 10 dict begin
-275 378 55 18 ellipse_path
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 453 420 moveto
+458 411 lineto
+448 415 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 453 420 moveto
+458 411 lineto
+448 415 lineto
+closepath
stroke
+end grestore
+
+% tactics
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]
+165 650 45 25 ellipse_path
+stroke
+gsave 10 dict begin
+134 642 moveto
+(tactics)
+[6.72 10.56 10.56 6.72 6.72 10.56 9.36]
xshow
end grestore
end grestore
% tactics -> cic_unification
-newpath 275 432 moveto
-275 424 275 415 275 406 curveto
+newpath 201 633 moveto
+228 620 267 603 299 588 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 300 591 moveto
+308 584 lineto
+297 585 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 279 406 moveto
-275 396 lineto
-272 406 lineto
+newpath 300 591 moveto
+308 584 lineto
+297 585 lineto
closepath
stroke
end grestore
-% cic_transformations
+% tactics -> whelp
+newpath 176 625 moveto
+181 616 185 606 190 596 curveto
+stroke
gsave 10 dict begin
-154 450 68 18 ellipse_path
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 193 598 moveto
+194 587 lineto
+187 595 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 193 598 moveto
+194 587 lineto
+187 595 lineto
+closepath
+stroke
+end grestore
+
+% paramodulation
+gsave 10 dict begin
+132 738 90 25 ellipse_path
+stroke
+gsave 10 dict begin
+56 730 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
+
+% paramodulation -> tactics
+newpath 142 713 moveto
+145 704 149 694 152 684 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 155 686 moveto
+156 675 lineto
+149 683 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 155 686 moveto
+156 675 lineto
+149 683 lineto
+closepath
+stroke
+end grestore
+
+% cic
+gsave 10 dict begin
+427 298 28 25 ellipse_path
+stroke
+gsave 10 dict begin
+413 290 moveto
+(cic)
+[10.56 6.72 10.56]
+xshow
+end grestore
+end grestore
+
+% urimanager
+gsave 10 dict begin
+347 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]
+291 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 409 278 moveto
+399 267 387 254 376 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 379 239 moveto
+369 234 lineto
+374 244 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 81 396 moveto
-71 394 lineto
-78 402 lineto
+newpath 379 239 moveto
+369 234 lineto
+374 244 lineto
closepath
stroke
end grestore
-% cic_omdoc
+% xml
gsave 10 dict begin
-158 378 44 18 ellipse_path
+205 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]
+186 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 435 273 moveto
+441 248 446 209 427 184 curveto
+405 156 307 137 249 128 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 249 125 moveto
+239 126 lineto
+248 131 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 159 406 moveto
-157 396 lineto
-153 406 lineto
+newpath 249 125 moveto
+239 126 lineto
+248 131 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 470 361 moveto
+463 351 455 339 448 328 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 451 326 moveto
+442 320 lineto
+445 330 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 217 332 moveto
-222 323 lineto
-212 327 lineto
+newpath 451 326 moveto
+442 320 lineto
+445 330 lineto
closepath
stroke
end grestore
% getter
gsave 10 dict begin
-292 234 29 18 ellipse_path
+318 298 42 25 ellipse_path
stroke
gsave 10 dict begin
-276 229 moveto
+290 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 442 363 moveto
+416 350 384 333 359 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 360 317 moveto
+350 315 lineto
+357 323 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 277 261 moveto
-280 251 lineto
-271 257 lineto
+newpath 360 317 moveto
+350 315 lineto
+357 323 lineto
closepath
stroke
end grestore
-% cic
+% getter -> urimanager
+newpath 326 273 moveto
+329 264 332 254 336 245 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 339 246 moveto
+339 235 lineto
+333 244 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 339 246 moveto
+339 235 lineto
+333 244 lineto
+closepath
+stroke
+end grestore
+
+% registry
gsave 10 dict begin
-208 234 27 18 ellipse_path
+205 210 52 25 ellipse_path
stroke
gsave 10 dict begin
-199 229 moveto
-(cic)
-[6.24 3.84 6.24]
+167 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 292 278 moveto
+277 266 258 251 241 238 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 243 235 moveto
+233 232 lineto
+239 241 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 243 235 moveto
+233 232 lineto
+239 241 lineto
+closepath
+stroke
+end grestore
+
+% metadata
+gsave 10 dict begin
+205 386 58 25 ellipse_path
+stroke
+gsave 10 dict begin
+161 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 249 369 moveto
+257 366 265 363 273 360 curveto
+316 343 327 341 370 324 curveto
+377 321 384 318 391 314 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 393 317 moveto
+401 310 lineto
+390 310 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 223 260 moveto
-216 252 lineto
-217 263 lineto
+newpath 393 317 moveto
+401 310 lineto
+390 310 lineto
closepath
stroke
end grestore
-% metadata -> cic_proof_checking
-newpath 360 365 moveto
-339 354 308 339 283 327 curveto
+% metadata -> getter
+newpath 234 364 moveto
+249 352 268 337 283 324 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 285 327 moveto
+291 318 lineto
+281 321 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 284 324 moveto
-274 322 lineto
-281 330 lineto
+newpath 285 327 moveto
+291 318 lineto
+281 321 lineto
closepath
stroke
end grestore
% hmysql
gsave 10 dict begin
-386 234 34 18 ellipse_path
+205 298 50 25 ellipse_path
stroke
gsave 10 dict begin
-364 229 moveto
+169 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 205 360 moveto
+205 352 205 343 205 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 209 334 moveto
+205 324 lineto
+202 334 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 390 262 moveto
-386 252 lineto
-383 262 lineto
+newpath 209 334 moveto
+205 324 lineto
+202 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 205 536 moveto
+205 506 205 456 205 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 209 422 moveto
+205 412 lineto
+202 422 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 257 332 moveto
-250 324 lineto
-251 335 lineto
+newpath 209 422 moveto
+205 412 lineto
+202 422 lineto
closepath
stroke
end grestore
-% registry
+% extlib
gsave 10 dict begin
-386 162 35 18 ellipse_path
+205 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]
+177 26 moveto
+(extlib)
+[10.56 12 6.72 6.72 6.72 12]
xshow
end grestore
end grestore
+% hgdome
+gsave 10 dict begin
+79 210 54 25 ellipse_path
+stroke
+gsave 10 dict begin
+39 202 moveto
+(hgdome)
+[12 12 12 12 18.72 10.56]
+xshow
+end grestore
+end grestore
+
+% hgdome -> xml
+newpath 110 189 moveto
+128 176 152 159 172 146 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 174 149 moveto
+180 140 lineto
+170 143 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 174 149 moveto
+180 140 lineto
+170 143 lineto
+closepath
+stroke
+end grestore
+
% hmysql -> registry
-newpath 386 216 moveto
-386 208 386 199 386 190 curveto
+newpath 205 272 moveto
+205 264 205 255 205 246 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 209 246 moveto
+205 236 lineto
+202 246 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 390 190 moveto
-386 180 lineto
-383 190 lineto
+newpath 209 246 moveto
+205 236 lineto
+202 246 lineto
closepath
stroke
end grestore
-% urimanager
+% registry -> xml
+newpath 205 184 moveto
+205 176 205 167 205 158 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 209 158 moveto
+205 148 lineto
+202 158 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 209 158 moveto
+205 148 lineto
+202 158 lineto
+closepath
+stroke
+end grestore
+
+% xml -> extlib
+newpath 205 96 moveto
+205 88 205 79 205 70 curveto
+stroke
gsave 10 dict begin
-208 162 45 18 ellipse_path
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 209 70 moveto
+205 60 lineto
+202 70 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 209 70 moveto
+205 60 lineto
+202 70 lineto
+closepath
stroke
+end grestore
+
+% DrawGraph
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]
+filled
+0.584 0.220 0.933 nodecolor
+0.584 0.220 0.933 nodecolor
+newpath 128 404 moveto
+0 404 lineto
+0 368 lineto
+128 368 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 128 404 moveto
+0 404 lineto
+0 368 lineto
+128 368 lineto
+closepath
+stroke
+gsave 10 dict begin
+0.000 0.000 0.000 nodecolor
+7 378 moveto
+(DrawGraph)
+[17.28 7.92 10.56 17.28 17.28 7.92 10.56 12 12]
xshow
end grestore
end grestore
-% getter -> urimanager
-newpath 275 219 moveto
-263 209 248 196 235 185 curveto
+% DrawGraph -> getter
+newpath 113 368 moveto
+121 365 129 362 137 360 curveto
+193 342 209 345 265 324 curveto
+269 322 272 321 276 319 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 277 322 moveto
+285 315 lineto
+274 316 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 237 182 moveto
-227 178 lineto
-232 187 lineto
+newpath 277 322 moveto
+285 315 lineto
+274 316 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 358 404 moveto
+282 404 lineto
+282 368 lineto
+358 368 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 358 404 moveto
+282 404 lineto
+282 368 lineto
+358 368 lineto
+closepath
+stroke
+gsave 10 dict begin
+0.000 0.000 0.000 nodecolor
+290 378 moveto
+(Getter)
+[17.28 10.56 6.72 6.72 10.56 7.92]
+xshow
+end grestore
+end grestore
+
+% Getter -> getter
+newpath 320 368 moveto
+320 358 319 346 319 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 323 334 moveto
+319 324 lineto
+316 334 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 361 186 moveto
-367 177 lineto
-357 180 lineto
+newpath 323 334 moveto
+319 324 lineto
+316 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 319 756 moveto
+241 756 lineto
+241 720 lineto
+319 720 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 319 756 moveto
+241 756 lineto
+241 720 lineto
+319 720 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
+248 730 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 300 720 moveto
+313 709 328 695 342 682 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 345 684 moveto
+350 675 lineto
+340 679 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 301 190 moveto
-299 180 lineto
-295 190 lineto
+newpath 345 684 moveto
+350 675 lineto
+340 679 lineto
closepath
stroke
end grestore
-% xml
+% Matita -> tactics
+newpath 256 720 moveto
+240 708 219 691 200 677 curveto
+stroke
gsave 10 dict begin
-260 90 27 18 ellipse_path
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 202 674 moveto
+192 671 lineto
+198 680 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 202 674 moveto
+192 671 lineto
+198 680 lineto
+closepath
stroke
+end grestore
+
+% ProofChecker
gsave 10 dict begin
-248 85 moveto
-(xml)
-[6.96 10.8 3.84]
+filled
+0.584 0.220 0.933 nodecolor
+0.584 0.220 0.933 nodecolor
+newpath 710 492 moveto
+560 492 lineto
+560 456 lineto
+710 456 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 710 492 moveto
+560 492 lineto
+560 456 lineto
+710 456 lineto
+closepath
+stroke
+gsave 10 dict begin
+0.000 0.000 0.000 nodecolor
+568 466 moveto
+(ProofChecker)
+[13.44 7.92 12 12 7.92 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 605 456 moveto
+585 445 559 428 536 415 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 537 412 moveto
+527 410 lineto
+534 418 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 225 101 moveto
-234 95 lineto
-223 95 lineto
+newpath 537 412 moveto
+527 410 lineto
+534 418 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 579 756 moveto
+493 756 lineto
+493 720 lineto
+579 720 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 579 756 moveto
+493 756 lineto
+493 720 lineto
+579 720 lineto
+closepath
+stroke
+gsave 10 dict begin
+0.000 0.000 0.000 nodecolor
+500 730 moveto
+(Uwobo)
+[17.28 17.28 12 12 12]
+xshow
+end grestore
+end grestore
+
+% Uwobo -> acic_content
+newpath 536 720 moveto
+536 692 536 635 536 598 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 540 598 moveto
+536 588 lineto
+533 598 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 212 190 moveto
-208 180 lineto
-205 190 lineto
+newpath 540 598 moveto
+536 588 lineto
+533 598 lineto
closepath
stroke
end grestore
-% extlib
+% Uwobo -> content_pres
+newpath 558 720 moveto
+572 709 590 694 606 681 curveto
+stroke
gsave 10 dict begin
-260 18 29 18 ellipse_path
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 609 683 moveto
+614 674 lineto
+604 678 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 609 683 moveto
+614 674 lineto
+604 678 lineto
+closepath
stroke
+end grestore
+
+% Whelp
gsave 10 dict begin
-244 13 moveto
-(extlib)
-[6.24 6.96 3.84 3.84 3.84 6.96]
+filled
+0.584 0.220 0.933 nodecolor
+0.584 0.220 0.933 nodecolor
+newpath 417 756 moveto
+337 756 lineto
+337 720 lineto
+417 720 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 417 756 moveto
+337 756 lineto
+337 720 lineto
+417 720 lineto
+closepath
+stroke
+gsave 10 dict begin
+0.000 0.000 0.000 nodecolor
+344 730 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 377 720 moveto
+377 710 377 698 377 686 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 381 686 moveto
+377 676 lineto
+374 686 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 264 46 moveto
-260 36 lineto
-257 46 lineto
+newpath 381 686 moveto
+377 676 lineto
+374 686 lineto
closepath
stroke
end grestore
-% registry -> xml
-newpath 362 148 moveto
-342 137 312 120 290 107 curveto
+% Whelp -> whelp
+newpath 343 720 moveto
+338 717 333 714 328 712 curveto
+296 695 282 701 258 676 curveto
+237 653 223 621 214 597 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 217 596 moveto
+211 587 lineto
+211 598 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 291 104 moveto
-281 102 lineto
-288 110 lineto
+newpath 217 596 moveto
+211 587 lineto
+211 598 lineto
closepath
stroke
end grestore
projects / helm.git / blobdiff