]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/whelp/whelp-bw.svg
Added whelp to the 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
new file mode 100644 (file)
index 0000000..a71d1b6
--- /dev/null
@@ -0,0 +1,93 @@
+<?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>