]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/whelp/whelp-bw.svg
removed papers that have been moved to the new "papers" repository
[helm.git] / helm / papers / whelp / whelp-bw.svg
diff --git a/helm/papers/whelp/whelp-bw.svg b/helm/papers/whelp/whelp-bw.svg
deleted file mode 100644 (file)
index a71d1b6..0000000
+++ /dev/null
@@ -1,93 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<!-- Created with Inkscape (http://www.inkscape.org/) -->
-<svg
-   xmlns:xml="http://www.w3.org/XML/1998/namespace"
-   xmlns:svg="http://www.w3.org/2000/svg"
-   xmlns="http://www.w3.org/2000/svg"
-   id="svg2"
-   height="1052.3622"
-   width="744.09448"
-   y="0.0000000"
-   x="0.0000000"
-   version="1.0">
-  <defs
-     id="defs3" />
-  <g
-     id="layer1">
-    <path
-       id="path2998"
-       style="fill:none;fill-opacity:1.0000000;fill-rule:evenodd;stroke:#000000;stroke-width:1.0000000px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000"
-       transform="matrix(3.092445,0.000000,0.000000,3.244102,-664.2350,-1140.870)"
-       d="M 277.14285 465.21933 A 21.428572 18.571428 0 1 1  234.28571,465.21933 A 21.428572 18.571428 0 1 1  277.14285 465.21933 z" />
-    <text
-       xml:space="preserve"
-       id="text3000"
-       style="font-size:134.94485;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:0.78431374;stroke:none;stroke-width:1.0000000px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000;font-family:Domestic Manners;text-anchor:start;writing-mode:lr-tb"
-       transform="scale(0.943563,1.059813)"
-       y="380.86691"
-       x="94.757904"><tspan
-         id="tspan3002"
-         y="380.86691"
-         x="94.757904">h</tspan></text>
-    <path
-       id="path3004"
-       style="fill:none;fill-opacity:0.48627451;fill-rule:evenodd;stroke:#000000;stroke-width:1.0000000px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000"
-       transform="matrix(3.577041,0.000000,0.000000,3.764523,-662.7191,-1480.877)"
-       d="M 277.14285 465.21933 A 21.428572 18.571428 0 1 1  234.28571,465.21933 A 21.428572 18.571428 0 1 1  277.14285 465.21933 z" />
-    <text
-       xml:space="preserve"
-       id="text3006"
-       style="font-size:134.94485;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:0.78431374;stroke:none;stroke-width:1.0000000px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000;font-family:Domestic Manners;text-anchor:start;writing-mode:lr-tb"
-       transform="scale(0.943563,1.059813)"
-       y="279.65826"
-       x="224.08005"><tspan
-         id="tspan3008"
-         y="279.65826"
-         x="224.08005">e</tspan></text>
-    <path
-       id="path3010"
-       style="fill:none;fill-opacity:0.48627451;fill-rule:evenodd;stroke:#000000;stroke-width:1.0000000px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000"
-       transform="matrix(3.536915,0.000000,0.000000,3.972675,-640.9630,-1524.082)"
-       d="M 322.85714 442.36218 A 22.857143 18.571428 0 1 1  277.14286,442.36218 A 22.857143 18.571428 0 1 1  322.85714 442.36218 z" />
-    <text
-       xml:space="preserve"
-       id="text3012"
-       style="font-size:134.94485;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:0.78431374;stroke:none;stroke-width:1.0000000px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000;font-family:Domestic Manners;text-anchor:start;writing-mode:lr-tb"
-       transform="scale(0.943563,1.059813)"
-       y="268.41287"
-       x="422.74887"><tspan
-         id="tspan3014"
-         y="268.41287"
-         x="422.74887">l</tspan></text>
-    <path
-       id="path3016"
-       style="fill:none;fill-opacity:0.48627451;fill-rule:evenodd;stroke:#000000;stroke-width:1.0000000px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000"
-       transform="matrix(3.750966,0.000000,0.000000,3.972675,-747.7789,-1446.615)"
-       d="M 382.85716 436.64789 A 24.285715 21.428572 0 1 1  334.28573,436.64789 A 24.285715 21.428572 0 1 1  382.85716 436.64789 z" />
-    <text
-       xml:space="preserve"
-       id="text3018"
-       style="font-size:134.94485;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:0.78431374;stroke:none;stroke-width:1.0000000px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000;font-family:Domestic Manners;text-anchor:start;writing-mode:lr-tb"
-       transform="scale(0.943563,1.059813)"
-       y="285.28098"
-       x="598.92688"><tspan
-         id="tspan3020"
-         y="285.28098"
-         x="598.92688">p</tspan></text>
-    <path
-       id="path3024"
-       style="fill:none;fill-opacity:0.31372550;fill-rule:evenodd;stroke:#000000;stroke-width:1.0000000px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000"
-       transform="matrix(3.536915,0.000000,0.000000,3.972675,-775.3658,-1500.246)"
-       d="M 394.28573 513.79077 A 65.714287 52.857143 0 1 1  262.85715,513.79077 A 65.714287 52.857143 0 1 1  394.28573 513.79077 z" />
-    <text
-       xml:space="preserve"
-       id="text3026"
-       style="font-size:239.90196;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:0.78431374;stroke:none;stroke-width:1.0000000px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000;font-family:Domestic Manners;text-anchor:start;writing-mode:lr-tb"
-       transform="scale(0.943563,1.059813)"
-       y="585.1582"
-       x="319.66589"><tspan
-         id="tspan3028"
-         y="585.1582"
-         x="319.66589">W</tspan></text>
-  </g>
-</svg>