Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Doc/Isar_Ref/document/isar-vm.svg
author Manuel Eberl <eberlm@in.tum.de>
Wed, 21 May 2025 21:48:42 +0200
changeset 82653 565545b7fe9d
parent 56451 856492b0f755
permissions -rw-r--r--
three lemmas for HOL-Complex_Analysis, HOL-Computational_Algebra
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
29738
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
     1
 
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
     2
 
<!-- Created with Inkscape (http://www.inkscape.org/) -->
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
     3
 
<svg
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
     4
 
   xmlns:dc="http://purl.org/dc/elements/1.1/"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
     5
 
   xmlns:cc="http://creativecommons.org/ns#"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
     6
 
   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
     7
 
   xmlns:svg="http://www.w3.org/2000/svg"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
     8
 
   xmlns="http://www.w3.org/2000/svg"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
     9
 
   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    10
 
   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    11
 
   width="543.02673"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    12
 
   height="215.66071"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    13
 
   id="svg2"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    14
 
   sodipodi:version="0.32"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    15
 
   inkscape:version="0.46"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    16
 
   version="1.0"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    17
 
   sodipodi:docname="isar-vm.svg"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    18
 
   inkscape:output_extension="org.inkscape.output.svg.inkscape">
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    19
 
  <defs
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    20
 
     id="defs4">
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    21
 
    <marker
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    22
 
       inkscape:stockid="TriangleOutM"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    23
 
       orient="auto"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    24
 
       refY="0"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    25
 
       refX="0"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    26
 
       id="TriangleOutM"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    27
 
       style="overflow:visible">
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    28
 
      <path
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    29
 
         id="path4130"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    30
 
         d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    31
 
         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    32
 
         transform="scale(0.4,0.4)" />
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    33
 
    </marker>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    34
 
    <marker
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    35
 
       inkscape:stockid="Arrow1Mend"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    36
 
       orient="auto"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    37
 
       refY="0"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    38
 
       refX="0"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    39
 
       id="Arrow1Mend"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    40
 
       style="overflow:visible">
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    41
 
      <path
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    42
 
         id="path3993"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    43
 
         d="M 0,0 L 5,-5 L -12.5,0 L 5,5 L 0,0 z"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    44
 
         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    45
 
         transform="matrix(-0.4,0,0,-0.4,-4,0)" />
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    46
 
    </marker>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    47
 
    <marker
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    48
 
       inkscape:stockid="Arrow1Lend"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    49
 
       orient="auto"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    50
 
       refY="0"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    51
 
       refX="0"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    52
 
       id="Arrow1Lend"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    53
 
       style="overflow:visible">
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    54
 
      <path
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    55
 
         id="path3207"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    56
 
         d="M 0,0 L 5,-5 L -12.5,0 L 5,5 L 0,0 z"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    57
 
         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    58
 
         transform="matrix(-0.8,0,0,-0.8,-10,0)" />
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    59
 
    </marker>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    60
 
    <marker
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    61
 
       inkscape:stockid="Arrow1Lstart"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    62
 
       orient="auto"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    63
 
       refY="0"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    64
 
       refX="0"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    65
 
       id="Arrow1Lstart"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    66
 
       style="overflow:visible">
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    67
 
      <path
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    68
 
         id="path3204"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    69
 
         d="M 0,0 L 5,-5 L -12.5,0 L 5,5 L 0,0 z"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    70
 
         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    71
 
         transform="matrix(0.8,0,0,0.8,10,0)" />
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    72
 
    </marker>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    73
 
    <inkscape:perspective
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    74
 
       sodipodi:type="inkscape:persp3d"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    75
 
       inkscape:vp_x="0 : 526.18109 : 1"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    76
 
       inkscape:vp_y="0 : 1000 : 0"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    77
 
       inkscape:vp_z="744.09448 : 526.18109 : 1"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    78
 
       inkscape:persp3d-origin="372.04724 : 350.78739 : 1"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    79
 
       id="perspective10" />
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    80
 
  </defs>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    81
 
  <sodipodi:namedview
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    82
 
     id="base"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    83
 
     pagecolor="#ffffff"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    84
 
     bordercolor="#666666"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    85
 
     borderopacity="1.0"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    86
 
     gridtolerance="10"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    87
 
     guidetolerance="10"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    88
 
     objecttolerance="10"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    89
 
     inkscape:pageopacity="0.0"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    90
 
     inkscape:pageshadow="2"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    91
 
     inkscape:zoom="1.4142136"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    92
 
     inkscape:cx="305.44602"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    93
 
     inkscape:cy="38.897723"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    94
 
     inkscape:document-units="mm"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    95
 
     inkscape:current-layer="layer1"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    96
 
     showgrid="true"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    97
 
     inkscape:snap-global="true"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    98
 
     units="mm"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
    99
 
     inkscape:window-width="1226"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   100
 
     inkscape:window-height="951"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   101
 
     inkscape:window-x="28"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   102
 
     inkscape:window-y="47">
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   103
 
    <inkscape:grid
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   104
 
       type="xygrid"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   105
 
       id="grid2383"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   106
 
       visible="true"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   107
 
       enabled="true"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   108
 
       units="mm"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   109
 
       spacingx="2.5mm"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   110
 
       spacingy="2.5mm"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   111
 
       empspacing="2" />
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   112
 
  </sodipodi:namedview>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   113
 
  <metadata
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   114
 
     id="metadata7">
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   115
 
    <rdf:RDF>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   116
 
      <cc:Work
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   117
 
         rdf:about="">
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   118
 
        <dc:format>image/svg+xml</dc:format>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   119
 
        <dc:type
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   120
 
           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   121
 
      </cc:Work>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   122
 
    </rdf:RDF>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   123
 
  </metadata>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   124
 
  <g
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   125
 
     inkscape:label="Layer 1"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   126
 
     inkscape:groupmode="layer"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   127
 
     id="layer1"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   128
 
     transform="translate(-44.641342,-76.87234)">
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   129
 
    <g
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   130
 
       id="g3448"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   131
 
       transform="translate(70.838012,79.725562)">
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   132
 
      <rect
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   133
 
         ry="17.67767"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   134
 
         y="131.52507"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   135
 
         x="212.09882"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   136
 
         height="53.149605"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   137
 
         width="70.866142"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   138
 
         id="rect3407"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   139
 
         style="fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.99921262;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   140
 
      <text
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   141
 
         sodipodi:linespacing="100%"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   142
 
         id="text3409"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   143
 
         y="164.06471"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   144
 
         x="223.50845"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   145
 
         style="font-size:18px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans;-inkscape-font-specification:Bitstream Vera Sans"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   146
 
         xml:space="preserve"><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   147
 
           style="font-size:16px;font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans;-inkscape-font-specification:Bitstream Vera Sans Bold"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   148
 
           y="164.06471"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   149
 
           x="223.50845"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   150
 
           id="tspan3411"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   151
 
           sodipodi:role="line">chain</tspan></text>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   152
 
    </g>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   153
 
    <path
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   154
 
       style="fill:none;fill-opacity:0.75;fill-rule:evenodd;stroke:#000000;stroke-width:0.99921262;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#TriangleOutM);stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   155
 
       d="M 424.72469,236.82544 L 356.83209,236.82544 L 356.83209,236.82544"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   156
 
       id="path3458" />
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   157
 
    <path
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   158
 
       style="fill:none;fill-opacity:0.75;fill-rule:evenodd;stroke:#000000;stroke-width:0.99921268;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#TriangleOutM);stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   159
 
       d="M 282.35183,236.82544 L 215.11403,236.82544 L 215.11403,236.82544"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   160
 
       id="path4771" />
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   161
 
    <path
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   162
 
       style="fill:none;fill-opacity:0.75;fill-rule:evenodd;stroke:#000000;stroke-width:0.99999994px;stroke-linecap:butt;stroke-linejoin:miter;marker-start:none;marker-mid:none;marker-end:url(#TriangleOutM);stroke-opacity:1"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   163
 
       d="M 424.69726,192.5341 L 215.13005,192.5341"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   164
 
       id="path4773" />
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   165
 
    <path
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   166
 
       style="fill:none;fill-opacity:0.75;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#TriangleOutM);stroke-opacity:1"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   167
 
       d="M 211.98429,148.24276 L 422.13162,148.24276"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   168
 
       id="path6883" />
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   169
 
    <g
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   170
 
       id="g3443"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   171
 
       transform="translate(70.866146,78.725567)">
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   172
 
      <rect
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   173
 
         ry="17.67767"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   174
 
         y="42.942394"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   175
 
         x="70.366531"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   176
 
         height="141.73228"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   177
 
         width="70.866142"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   178
 
         id="rect2586"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   179
 
         style="fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.99921262;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   180
 
      <text
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   181
 
         sodipodi:linespacing="100%"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   182
 
         id="text3370"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   183
 
         y="116.62494"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   184
 
         x="79.682419"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   185
 
         style="font-size:18px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans;-inkscape-font-specification:Bitstream Vera Sans"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   186
 
         xml:space="preserve"><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   187
 
           style="font-size:16px;font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans;-inkscape-font-specification:Bitstream Vera Sans Bold"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   188
 
           y="116.62494"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   189
 
           x="79.682419"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   190
 
           id="tspan3372"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   191
 
           sodipodi:role="line">prove</tspan></text>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   192
 
    </g>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   193
 
    <path
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   194
 
       style="fill:none;fill-opacity:0.75;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#TriangleOutM);stroke-opacity:1"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   195
 
       d="M 176.66575,92.035445 L 176.66575,118.61025"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   196
 
       id="path7412" />
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   197
 
    <path
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   198
 
       sodipodi:type="arc"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   199
 
       style="fill:none;fill-opacity:1;stroke:#000000;stroke-width:4.30137062;stroke-linecap:round;stroke-linejoin:round;marker-end:url(#TriangleOutM);stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   200
 
       id="path9011"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   201
 
       sodipodi:cx="119.58662"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   202
 
       sodipodi:cy="266.74686"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   203
 
       sodipodi:rx="93.01181"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   204
 
       sodipodi:ry="53.149605"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   205
 
       d="M 208.65508,282.05865 A 93.01181,53.149605 0 1 1 208.68579,251.49353"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   206
 
       transform="matrix(0.2378166,0,0,-0.2269133,90.621413,253.06251)"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   207
 
       sodipodi:start="0.29223018"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   208
 
       sodipodi:end="5.9921036"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   209
 
       sodipodi:open="true" />
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   210
 
    <g
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   211
 
       id="g3453"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   212
 
       transform="translate(70.866151,78.725565)">
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   213
 
      <rect
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   214
 
         ry="17.67767"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   215
 
         y="42.942394"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   216
 
         x="353.83112"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   217
 
         height="141.73228"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   218
 
         width="70.866142"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   219
 
         id="rect3381"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   220
 
         style="fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.99921262;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   221
 
      <text
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   222
 
         sodipodi:linespacing="100%"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   223
 
         id="text3383"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   224
 
         y="119.31244"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   225
 
         x="365.98294"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   226
 
         style="font-size:18px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans;-inkscape-font-specification:Bitstream Vera Sans"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   227
 
         xml:space="preserve"><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   228
 
           style="font-size:16px;font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans;-inkscape-font-specification:Bitstream Vera Sans Bold"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   229
 
           y="119.31244"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   230
 
           x="365.98294"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   231
 
           sodipodi:role="line"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   232
 
           id="tspan3387">state</tspan></text>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   233
 
    </g>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   234
 
    <path
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   235
 
       style="fill:none;fill-opacity:0.75;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#TriangleOutM);stroke-opacity:1"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   236
 
       d="M 460.13031,263.40024 L 460.13031,289.97505"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   237
 
       id="path7941" />
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   238
 
    <path
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   239
 
       sodipodi:type="arc"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   240
 
       style="fill:none;fill-opacity:1;stroke:#000000;stroke-width:4.30137062;stroke-linecap:round;stroke-linejoin:round;marker-end:url(#TriangleOutM);stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   241
 
       id="path10594"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   242
 
       sodipodi:cx="119.58662"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   243
 
       sodipodi:cy="266.74686"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   244
 
       sodipodi:rx="93.01181"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   245
 
       sodipodi:ry="53.149605"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   246
 
       d="M 208.65508,282.05865 A 93.01181,53.149605 0 1 1 208.68579,251.49353"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   247
 
       transform="matrix(-0.2378166,0,0,0.2269133,546.17466,132.00569)"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   248
 
       sodipodi:start="0.29223018"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   249
 
       sodipodi:end="5.9921036"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   250
 
       sodipodi:open="true" />
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   251
 
    <path
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   252
 
       sodipodi:type="arc"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   253
 
       style="fill:none;fill-opacity:1;stroke:#000000;stroke-width:4.30137062;stroke-linecap:round;stroke-linejoin:bevel;marker-end:url(#TriangleOutM);stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   254
 
       id="path12210"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   255
 
       sodipodi:cx="119.58662"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   256
 
       sodipodi:cy="266.74686"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   257
 
       sodipodi:rx="93.01181"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   258
 
       sodipodi:ry="53.149605"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   259
 
       d="M 208.65508,282.05865 A 93.01181,53.149605 0 1 1 208.68579,251.49353"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   260
 
       transform="matrix(-0.2378166,0,0,0.2269133,546.17465,87.714359)"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   261
 
       sodipodi:start="0.29223018"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   262
 
       sodipodi:end="5.9921036"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   263
 
       sodipodi:open="true" />
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   264
 
    <path
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   265
 
       sodipodi:type="arc"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   266
 
       style="fill:none;fill-opacity:1;stroke:#000000;stroke-width:4.30137062;stroke-linecap:round;stroke-linejoin:round;marker-start:none;marker-end:url(#TriangleOutM);stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   267
 
       id="path12212"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   268
 
       sodipodi:cx="119.58662"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   269
 
       sodipodi:cy="266.74686"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   270
 
       sodipodi:rx="93.01181"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   271
 
       sodipodi:ry="53.149605"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   272
 
       d="M 208.65508,282.05865 A 93.01181,53.149605 0 1 1 208.68579,251.49353"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   273
 
       transform="matrix(-0.2378166,0,0,0.2269133,546.17465,176.29703)"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   274
 
       sodipodi:start="0.29223018"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   275
 
       sodipodi:end="5.9921036"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   276
 
       sodipodi:open="true" />
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   277
 
    <path
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   278
 
       sodipodi:type="arc"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   279
 
       style="fill:none;fill-opacity:1;stroke:#000000;stroke-width:4.30137062;stroke-linecap:round;stroke-linejoin:round;marker-end:url(#TriangleOutM);stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   280
 
       id="path12214"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   281
 
       sodipodi:cx="119.58662"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   282
 
       sodipodi:cy="266.74686"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   283
 
       sodipodi:rx="93.01181"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   284
 
       sodipodi:ry="53.149605"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   285
 
       d="M 208.65508,282.05865 A 93.01181,53.149605 0 1 1 208.68579,251.49353"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   286
 
       transform="matrix(0,0.2378166,0.2269133,0,399.60191,71.056696)"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   287
 
       sodipodi:start="0.29223018"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   288
 
       sodipodi:end="5.9921036"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   289
 
       sodipodi:open="true" />
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   290
 
    <text
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   291
 
       xml:space="preserve"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   292
 
       style="font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans;-inkscape-font-specification:Bitstream Vera Sans"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   293
 
       x="173.49998"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   294
 
       y="97.094513"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   295
 
       id="text19307"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   296
 
       sodipodi:linespacing="100%"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   297
 
       transform="translate(17.216929,6.5104864)"><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   298
 
         sodipodi:role="line"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   299
 
         id="tspan19309"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   300
 
         x="173.49998"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   301
 
         y="97.094513" /></text>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   302
 
    <text
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   303
 
       xml:space="preserve"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   304
 
       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans;-inkscape-font-specification:Bitstream Vera Sans"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   305
 
       x="185.52402"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   306
 
       y="110.07987"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   307
 
       id="text19311"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   308
 
       sodipodi:linespacing="100%"><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   309
 
         sodipodi:role="line"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   310
 
         id="tspan19313"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   311
 
         x="185.52402"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   312
 
         y="110.07987">theorem</tspan></text>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   313
 
    <text
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   314
 
       xml:space="preserve"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   315
 
       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans;-inkscape-font-specification:Bitstream Vera Sans"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   316
 
       x="389.99997"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   317
 
       y="11.594519"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   318
 
       id="text19315"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   319
 
       sodipodi:linespacing="100%"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   320
 
       transform="translate(17.216929,6.5104864)"><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   321
 
         sodipodi:role="line"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   322
 
         id="tspan19317"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   323
 
         x="389.99997"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   324
 
         y="11.594519" /></text>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   325
 
    <text
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   326
 
       xml:space="preserve"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   327
 
       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans;-inkscape-font-specification:Bitstream Vera Sans"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   328
 
       x="468.98859"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   329
 
       y="280.47543"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   330
 
       id="text19319"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   331
 
       sodipodi:linespacing="100%"><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   332
 
         sodipodi:role="line"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   333
 
         id="tspan19321"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   334
 
         x="468.98859"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   335
 
         y="280.47543">qed</tspan></text>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   336
 
    <text
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   337
 
       xml:space="preserve"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   338
 
       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans;-inkscape-font-specification:Bitstream Vera Sans"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   339
 
       x="549.06946"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   340
 
       y="239.58423"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   341
 
       id="text19323"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   342
 
       sodipodi:linespacing="100%"><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   343
 
         sodipodi:role="line"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   344
 
         id="tspan19325"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   345
 
         x="549.06946"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   346
 
         y="239.58423">qed</tspan></text>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   347
 
    <text
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   348
 
       xml:space="preserve"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   349
 
       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans;-inkscape-font-specification:Bitstream Vera Sans"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   350
 
       x="549.39172"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   351
 
       y="191.26213"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   352
 
       id="text19327"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   353
 
       sodipodi:linespacing="100%"><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   354
 
         sodipodi:role="line"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   355
 
         id="tspan19329"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   356
 
         x="549.39172"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   357
 
         y="191.26213">fix</tspan><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   358
 
         sodipodi:role="line"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   359
 
         x="549.39172"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   360
 
         y="201.26213"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   361
 
         id="tspan19331">assume</tspan></text>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   362
 
    <text
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   363
 
       xml:space="preserve"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   364
 
       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans;-inkscape-font-specification:Bitstream Vera Sans"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   365
 
       x="548.71301"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   366
 
       y="146.97079"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   367
 
       id="text19333"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   368
 
       sodipodi:linespacing="100%"><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   369
 
         sodipodi:role="line"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   370
 
         id="tspan19335"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   371
 
         x="548.71301"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   372
 
         y="146.97079">{ }</tspan><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   373
 
         sodipodi:role="line"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   374
 
         x="548.71301"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   375
 
         y="156.97079"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   376
 
         id="tspan19337">next</tspan></text>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   377
 
    <text
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   378
 
       xml:space="preserve"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   379
 
       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans;-inkscape-font-specification:Bitstream Vera Sans"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   380
 
       x="477.84686"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   381
 
       y="98.264297"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   382
 
       id="text19339"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   383
 
       sodipodi:linespacing="100%"><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   384
 
         sodipodi:role="line"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   385
 
         x="477.84686"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   386
 
         y="98.264297"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   387
 
         id="tspan19343">note</tspan><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   388
 
         sodipodi:role="line"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   389
 
         x="477.84686"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   390
 
         y="108.2643"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   391
 
         id="tspan19358">let</tspan></text>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   392
 
    <text
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   393
 
       xml:space="preserve"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   394
 
       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans;-inkscape-font-specification:Bitstream Vera Sans"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   395
 
       x="43.791733"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   396
 
       y="190.29289"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   397
 
       id="text19345"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   398
 
       sodipodi:linespacing="100%"><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   399
 
         sodipodi:role="line"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   400
 
         id="tspan19347"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   401
 
         x="43.791733"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   402
 
         y="190.29289">using</tspan><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   403
 
         sodipodi:role="line"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   404
 
         x="43.791733"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   405
 
         y="200.29289"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   406
 
         id="tspan19349">unfolding</tspan></text>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   407
 
    <text
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   408
 
       xml:space="preserve"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   409
 
       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans;-inkscape-font-specification:Bitstream Vera Sans"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   410
 
       x="378.65891"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   411
 
       y="230.52518"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   412
 
       id="text19360"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   413
 
       sodipodi:linespacing="100%"><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   414
 
         sodipodi:role="line"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   415
 
         id="tspan19362"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   416
 
         x="378.65891"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   417
 
         y="230.52518">then</tspan></text>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   418
 
    <text
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   419
 
       xml:space="preserve"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   420
 
       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:150%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans;-inkscape-font-specification:Bitstream Vera Sans"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   421
 
       x="233.98795"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   422
 
       y="233.05347"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   423
 
       id="text19364"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   424
 
       sodipodi:linespacing="150%"><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   425
 
         sodipodi:role="line"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   426
 
         x="233.98795"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   427
 
         y="233.05347"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   428
 
         id="tspan19368">have</tspan><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   429
 
         sodipodi:role="line"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   430
 
         x="233.98795"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   431
 
         y="248.05347"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   432
 
         id="tspan19370">show</tspan></text>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   433
 
    <text
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   434
 
       xml:space="preserve"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   435
 
       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:150%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans;-inkscape-font-specification:Bitstream Vera Sans"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   436
 
       x="305.89636"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   437
 
       y="188.76213"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   438
 
       id="text19374"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   439
 
       sodipodi:linespacing="150%"><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   440
 
         sodipodi:role="line"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   441
 
         x="305.89636"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   442
 
         y="188.76213"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   443
 
         id="tspan19376">have</tspan><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   444
 
         sodipodi:role="line"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   445
 
         x="305.89636"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   446
 
         y="203.76213"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   447
 
         id="tspan19378">show</tspan></text>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   448
 
    <text
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   449
 
       xml:space="preserve"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   450
 
       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans;-inkscape-font-specification:Bitstream Vera Sans"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   451
 
       x="303.82324"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   452
 
       y="141.07895"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   453
 
       id="text19380"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   454
 
       sodipodi:linespacing="100%"><tspan
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   455
 
         sodipodi:role="line"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   456
 
         id="tspan19382"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   457
 
         x="303.82324"
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   458
 
         y="141.07895">proof</tspan></text>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   459
 
  </g>
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset 
   460
 
</svg>
isabelle