]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/whelp/whelp-bw.eps
removed papers that have been moved to the new "papers" repository
[helm.git] / helm / papers / whelp / whelp-bw.eps
diff --git a/helm/papers/whelp/whelp-bw.eps b/helm/papers/whelp/whelp-bw.eps
deleted file mode 100644 (file)
index 4647a95..0000000
+++ /dev/null
@@ -1,231 +0,0 @@
-%!PS-Adobe-2.0
-%%Creator: inkscape 0.41
-%%Pages: 1
-%%Orientation: Portrait
-%%BoundingBox: 46 239 553 716
-%%HiResBoundingBox: 46.957585 239.70075 552.18831 715.78839
-%%EndComments
-%%Page: 1 1
-0 842 translate
-0.80000000 -0.80000000 scale
-gsave [1.0000000 0.0000000 0.0000000 1.0000000 0.0000000 0.0000000] concat
-gsave [3.0924450 0.0000000 0.0000000 3.2441020 -664.23500 -1140.8700] concat
-0.0000000 0.0000000 0.0000000 setrgbcolor
-[] 0 setdash
-1.0000000 setlinewidth
-0 setlinejoin
-0 setlinecap
-newpath
-277.14285 465.21933 moveto
-277.14285 475.47076 267.54285 483.79076 255.71428 483.79076 curveto
-243.88571 483.79076 234.28571 475.47076 234.28571 465.21933 curveto
-234.28571 454.96790 243.88571 446.64790 255.71428 446.64790 curveto
-267.54285 446.64790 277.14285 454.96790 277.14285 465.21933 curveto
-closepath
-stroke
-grestore
-gsave [0.94356300 0.0000000 0.0000000 1.0598130 0.0000000 0.0000000] concat
-0.0000000 0.0000000 0.0000000 setrgbcolor
-newpath
-122.69571 344.82451 moveto
-130.60260 336.12694 138.59737 331.77814 146.68005 331.77809 curveto
-151.95127 331.77814 155.53135 333.49130 157.42029 336.91759 curveto
-158.73804 339.33363 159.39695 343.33102 159.39702 348.90976 curveto
-159.39695 361.38515 156.87113 374.87083 151.81955 389.36686 curveto
-151.29236 389.54256 150.89702 389.63041 150.63351 389.63042 curveto
-149.62312 389.63041 148.52494 388.94954 147.33896 387.58780 curveto
-145.75752 385.69892 144.83505 384.66663 144.57153 384.49092 curveto
-148.78850 370.12668 150.89702 357.98078 150.89707 348.05317 curveto
-150.89702 344.27546 150.26007 342.38658 148.98623 342.38654 curveto
-141.03533 342.38658 131.28347 351.21597 119.73061 368.87474 curveto
-119.73058 368.91868 118.83007 371.62021 117.02908 376.97934 curveto
-116.01873 380.01033 114.61305 381.45993 112.81205 381.32815 curveto
-112.15314 381.26226 lineto
-107.27720 375.59563 lineto
-108.24359 370.58792 109.56141 358.63969 111.23066 339.75090 curveto
-112.54847 324.90351 114.74483 313.10903 117.81977 304.36741 curveto
-122.03677 306.60778 124.14528 309.96822 124.14531 314.44874 curveto
-124.14528 316.86481 123.53030 320.46685 122.30036 325.25487 curveto
-121.11429 329.99908 120.52128 333.60112 120.52130 336.06100 curveto
-120.52128 339.31167 121.24608 342.23284 122.69571 344.82451 curveto
-fill
-grestore
-gsave [3.5770410 0.0000000 0.0000000 3.7645230 -662.71910 -1480.8770] concat
-0.0000000 0.0000000 0.0000000 setrgbcolor
-[] 0 setdash
-1.0000000 setlinewidth
-0 setlinejoin
-0 setlinecap
-newpath
-277.14285 465.21933 moveto
-277.14285 475.47076 267.54285 483.79076 255.71428 483.79076 curveto
-243.88571 483.79076 234.28571 475.47076 234.28571 465.21933 curveto
-234.28571 454.96790 243.88571 446.64790 255.71428 446.64790 curveto
-267.54285 446.64790 277.14285 454.96790 277.14285 465.21933 curveto
-closepath
-stroke
-grestore
-gsave [0.94356300 0.0000000 0.0000000 1.0598130 0.0000000 0.0000000] concat
-0.0000000 0.0000000 0.0000000 setrgbcolor
-newpath
-300.44777 235.24770 moveto
-300.44769 237.48804 299.41540 239.92601 297.35089 242.56161 curveto
-285.00724 249.85358 272.00475 253.49955 258.34339 253.49952 curveto
-255.83950 253.49955 253.26975 253.36776 250.63414 253.10417 curveto
-248.39382 254.68558 247.27367 256.83802 247.27369 259.56150 curveto
-247.27367 262.37286 248.41578 264.63512 250.70003 266.34827 curveto
-252.72066 267.92967 255.18059 268.72036 258.07983 268.72035 curveto
-262.16503 268.72036 268.60038 266.94131 277.38590 263.38318 curveto
-286.17131 259.82508 292.43095 258.04602 296.16485 258.04600 curveto
-298.31721 258.04602 300.07431 258.55119 301.43613 259.56150 curveto
-286.50077 272.69578 272.90526 279.26292 260.64958 279.26292 curveto
-253.75295 279.26292 248.34989 277.65957 244.44038 274.45287 curveto
-240.22334 270.98262 238.11483 265.88705 238.11484 259.16615 curveto
-238.11483 258.15584 238.15875 256.68428 238.24662 254.75145 curveto
-238.33446 252.77475 238.37839 251.28122 238.37840 250.27086 curveto
-238.37839 247.19598 237.93912 244.88979 237.06058 243.35230 curveto
-240.92617 242.69343 245.42872 239.99190 250.56825 235.24770 curveto
-256.05913 230.19610 260.18830 227.23101 262.95576 226.35241 curveto
-267.52416 224.90286 272.64170 224.17806 278.30838 224.17801 curveto
-282.92069 224.17806 287.37931 224.94679 291.68426 226.48419 curveto
-297.52652 228.59276 300.44769 231.51392 300.44777 235.24770 curveto
-290.89356 235.24770 moveto
-287.64288 233.62244 284.04084 232.80978 280.08743 232.80973 curveto
-276.44141 232.80978 272.68562 233.53458 268.82007 234.98414 curveto
-264.47122 236.60949 261.35238 238.71800 259.46354 241.30968 curveto
-258.45317 242.71539 257.94801 243.81357 257.94804 244.60423 curveto
-257.94801 246.09779 259.28779 246.84456 261.96740 246.84453 curveto
-266.05260 246.84456 271.14817 245.61459 277.25412 243.15463 curveto
-283.35996 240.69473 287.90644 238.05909 290.89356 235.24770 curveto
-fill
-grestore
-gsave [3.5369150 0.0000000 0.0000000 3.9726750 -640.96300 -1524.0820] concat
-0.0000000 0.0000000 0.0000000 setrgbcolor
-[] 0 setdash
-1.0000000 setlinewidth
-0 setlinejoin
-0 setlinecap
-newpath
-322.85714 442.36218 moveto
-322.85714 452.61361 312.61714 460.93361 300.00000 460.93361 curveto
-287.38286 460.93361 277.14286 452.61361 277.14286 442.36218 curveto
-277.14286 432.11075 287.38286 423.79075 300.00000 423.79075 curveto
-312.61714 423.79075 322.85714 432.11075 322.85714 442.36218 curveto
-closepath
-stroke
-grestore
-gsave [0.94356300 0.0000000 0.0000000 1.0598130 0.0000000 0.0000000] concat
-0.0000000 0.0000000 0.0000000 setrgbcolor
-newpath
-460.04320 185.06070 moveto
-460.04316 191.07883 457.60520 195.73513 452.72930 199.02960 curveto
-450.57683 218.53340 448.68795 239.59655 447.06267 262.21911 curveto
-448.29261 263.36123 448.90759 264.74494 448.90761 266.37025 curveto
-448.90759 267.81985 448.46832 269.15964 447.58979 270.38960 curveto
-446.57944 271.75135 445.37144 272.43222 443.96579 272.43223 curveto
-442.29653 272.43222 440.89085 271.44386 439.74876 269.46713 curveto
-440.40765 247.54740 441.52780 228.30723 443.10920 211.74658 curveto
-443.54846 205.86037 444.58075 197.58007 446.20608 186.90565 curveto
-446.60140 185.19257 447.89726 183.41351 450.09365 181.56848 curveto
-452.28999 179.72362 454.24476 178.80114 455.95796 178.80105 curveto
-458.68142 178.80114 460.04316 180.88769 460.04320 185.06070 curveto
-fill
-grestore
-gsave [3.7509660 0.0000000 0.0000000 3.9726750 -747.77890 -1446.6150] concat
-0.0000000 0.0000000 0.0000000 setrgbcolor
-[] 0 setdash
-1.0000000 setlinewidth
-0 setlinejoin
-0 setlinecap
-newpath
-382.85716 436.64789 moveto
-382.85716 448.47646 371.97716 458.07646 358.57144 458.07646 curveto
-345.16573 458.07646 334.28573 448.47646 334.28573 436.64789 curveto
-334.28573 424.81932 345.16573 415.21932 358.57144 415.21932 curveto
-371.97716 415.21932 382.85716 424.81932 382.85716 436.64789 curveto
-closepath
-stroke
-grestore
-gsave [0.94356300 0.0000000 0.0000000 1.0598130 0.0000000 0.0000000] concat
-0.0000000 0.0000000 0.0000000 setrgbcolor
-newpath
-646.96145 287.19182 moveto
-640.32838 287.19181 633.45375 285.06134 626.33755 280.80038 curveto
-624.27294 287.87269 622.23032 294.92302 620.20969 301.95141 curveto
-617.04690 311.48362 613.95002 317.72130 610.91905 320.66447 curveto
-606.87772 320.00552 604.85707 317.96290 604.85707 314.53660 curveto
-604.85707 313.04304 605.84543 309.46296 607.82217 303.79636 curveto
-611.95133 292.02382 614.01591 282.38177 614.01593 274.87019 curveto
-614.01591 272.36634 613.84020 269.99427 613.48880 267.75396 curveto
-616.43192 265.29405 619.08952 260.52793 621.46162 253.45560 curveto
-624.84400 243.48413 626.84269 237.90536 627.45770 236.71928 curveto
-630.13724 231.31627 633.62946 228.61474 637.93438 228.61468 curveto
-644.87485 228.61474 651.28824 232.98550 657.17456 241.72700 curveto
-662.53364 249.72181 665.21320 257.38713 665.21327 264.72297 curveto
-665.21320 269.77463 664.13698 274.38700 661.98461 278.56009 curveto
-659.39283 283.47996 655.83472 286.26934 651.31026 286.92825 curveto
-650.12417 287.10396 648.67457 287.19181 646.96145 287.19182 curveto
-641.69017 240.54096 moveto
-637.47310 240.54100 634.20052 244.38464 631.87240 252.07189 curveto
-630.68633 257.78247 629.50029 263.49303 628.31428 269.20356 curveto
-634.55193 273.64024 640.17463 275.85857 645.18239 275.85856 curveto
-648.38904 275.85857 650.93682 274.80431 652.82575 272.69579 curveto
-654.75850 270.58729 655.72490 267.92968 655.72496 264.72297 curveto
-655.72490 260.54990 654.36315 255.67396 651.63971 250.09516 curveto
-648.56475 243.72573 645.24824 240.54100 641.69017 240.54096 curveto
-fill
-grestore
-gsave [3.5369150 0.0000000 0.0000000 3.9726750 -775.36580 -1500.2460] concat
-0.0000000 0.0000000 0.0000000 setrgbcolor
-[] 0 setdash
-1.0000000 setlinewidth
-0 setlinejoin
-0 setlinecap
-newpath
-394.28573 513.79077 moveto
-394.28573 542.96791 364.84573 566.64791 328.57144 566.64791 curveto
-292.29716 566.64791 262.85715 542.96791 262.85715 513.79077 curveto
-262.85715 484.61363 292.29716 460.93363 328.57144 460.93363 curveto
-364.84573 460.93363 394.28573 484.61363 394.28573 513.79077 curveto
-closepath
-stroke
-grestore
-gsave [0.94356300 0.0000000 0.0000000 1.0598130 0.0000000 0.0000000] concat
-0.0000000 0.0000000 0.0000000 setrgbcolor
-newpath
-487.40984 460.40450 moveto
-487.40968 510.61843 473.47007 547.40023 445.59100 570.75003 curveto
-438.87487 576.37274 434.07215 579.18409 431.18282 579.18408 curveto
-428.68373 579.18409 425.83334 578.12983 422.63163 576.02131 curveto
-408.49669 566.80635 401.27309 550.64109 400.96080 527.52551 curveto
-386.12304 553.92100 374.60433 573.60044 366.40461 586.56388 curveto
-360.00093 586.56388 355.31535 583.94776 352.34785 578.71552 curveto
-350.23931 574.96707 348.95077 569.03200 348.48224 560.91030 curveto
-348.40412 556.69330 348.16984 550.36777 347.77940 541.93368 curveto
-347.31082 534.28061 345.28040 521.27812 341.68814 502.92618 curveto
-338.48631 486.29245 336.88540 473.17283 336.88542 463.56727 curveto
-336.88540 451.38488 338.09584 442.48228 340.51675 436.85943 curveto
-340.98528 435.68818 342.19573 435.10249 344.14808 435.10234 curveto
-344.77280 435.10249 345.63182 435.18058 346.72515 435.33662 curveto
-347.89652 435.41486 348.71649 435.45391 349.18508 435.45376 curveto
-353.71445 447.71451 356.72103 466.41778 358.20483 491.56364 curveto
-359.76665 517.41252 362.49991 536.15484 366.40461 547.79066 curveto
-371.63679 540.76233 378.39184 528.15031 386.66976 509.95456 curveto
-394.40090 493.00845 401.58546 480.66976 408.22345 472.93844 curveto
-415.40792 476.45274 419.00020 481.29450 419.00030 487.46375 curveto
-419.00020 489.88473 418.49260 492.96941 417.47748 496.71778 curveto
-416.30599 501.40345 415.60315 504.48813 415.36897 505.97181 curveto
-414.58795 511.59459 414.19748 516.63159 414.19757 521.08283 curveto
-414.19748 527.25224 415.21269 534.31965 417.24321 542.28510 curveto
-419.89827 552.67151 423.29532 557.86470 427.43435 557.86467 curveto
-430.16750 557.86470 433.33027 555.91237 436.92266 552.00769 curveto
-459.64761 527.40842 471.01014 496.87406 471.01030 460.40450 curveto
-471.01014 450.79918 470.22921 441.50611 468.66750 432.52527 curveto
-467.02740 423.07616 466.20742 418.23440 466.20757 417.99995 curveto
-466.20742 409.95654 469.01877 405.93475 474.64162 405.93457 curveto
-478.23375 405.93475 481.04510 408.58991 483.07568 413.90006 curveto
-485.96496 421.47526 487.40968 436.97672 487.40984 460.40450 curveto
-fill
-grestore
-grestore
-showpage