deps.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<?xml-stylesheet href="common/css/sf.css" type="text/css"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.44.1 (20200629.0846)
 -->
<!-- Pages: 1 -->
<svg width="576pt" height="933pt"
 viewBox="0.00 21.60 576.00 911.82" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph deps" transform="scale(0.93 0.93) rotate(0) translate(4 978.27)">
<polygon fill="white" stroke="transparent" points="-4,4 -4,-955 616.5,-955 616.5,4 -4,4"/>
<g id="clust1" class="cluster deps">
<title>cluster_Chargueraud</title>
<polygon fill="none" stroke="#595959" points="370.5,-384 370.5,-600 604.5,-600 604.5,-384 370.5,-384"/>
</g>
<!-- LogicalFoundations -->
<g id="node1" class="node">
<title>LogicalFoundations</title>
<g id="a_node1"><a xlink:title="Go to chapter" target="_top">
<polygon fill="none" stroke="black" stroke-dasharray="1,5" points="360.5,-925.5 194.5,-925.5 194.5,-889.5 360.5,-889.5 360.5,-925.5"/>
<text text-anchor="start" x="212.5" y="-904.7" font-family="Times,serif" font-size="11.00"> &#160;&#160;&#160;&#160;Logical Foundations &#160;&#160;&#160;&#160;&#160;&#160;&#160;</text>
</a>
</g>
</g>
<!-- Preface -->
<g id="node3" class="node">
<title>Preface</title>
<g id="a_node3"><a xlink:href="Preface.html" xlink:title="Go to chapter" target="_top">
<polygon fill="lightblue" stroke="black" points="309,-828 246,-828 246,-792 309,-792 309,-828"/>
<text text-anchor="middle" x="277.5" y="-807.2" font-family="Times,serif" font-size="11.00">Preface</text>
</a>
</g>
</g>
<!-- LogicalFoundations&#45;&gt;Preface -->
<g id="edge22" class="edge">
<title>LogicalFoundations&#45;&gt;Preface</title>
<path fill="none" stroke="gray" d="M272.18,-889.43C270.62,-875.26 270.34,-854.83 271.33,-838.38"/>
<polygon fill="gray" stroke="gray" points="274.83,-838.5 272.17,-828.25 267.85,-837.93 274.83,-838.5"/>
</g>
<!-- LogicalFoundations&#45;&gt;Preface -->
<g id="edge24" class="edge">
<title>LogicalFoundations&#45;&gt;Preface</title>
<path fill="none" stroke="blue" d="M282.82,-889.43C284.38,-875.26 284.66,-854.83 283.67,-838.38"/>
<polygon fill="blue" stroke="blue" points="287.15,-837.93 282.83,-828.25 280.17,-838.5 287.15,-837.93"/>
</g>
<!-- legend -->
<g id="node2" class="node">
<title>legend</title>
<g id="a_node2"><a xlink:title="Go to chapter" target="_top">
<polygon fill="WhiteSmoke" stroke="transparent" points="596,-951 387,-951 387,-864 596,-864 596,-951"/>
<polygon fill="lightblue" stroke="transparent" points="391.5,-913.5 391.5,-946.5 474.5,-946.5 474.5,-913.5 391.5,-913.5"/>
<polygon fill="none" stroke="#7f7f7f" points="391.5,-913.5 391.5,-946.5 474.5,-946.5 474.5,-913.5 391.5,-913.5"/>
<text text-anchor="start" x="402.5" y="-927.5" font-family="Times,serif" font-size="10.00"> Core chapters </text>
<polygon fill="lightyellow" stroke="transparent" points="484.5,-913.5 484.5,-946.5 592.5,-946.5 592.5,-913.5 484.5,-913.5"/>
<polygon fill="none" stroke="#7f7f7f" points="484.5,-913.5 484.5,-946.5 592.5,-946.5 592.5,-913.5 484.5,-913.5"/>
<text text-anchor="start" x="495.5" y="-927.5" font-family="Times,serif" font-size="10.00">Contributed chapters</text>
<text text-anchor="start" x="396.5" y="-897.5" font-family="Times,serif" font-size="10.00" fill="gray">⟶</text>
<text text-anchor="start" x="412.5" y="-897.5" font-family="Times,serif" font-size="10.00"> &#160;&#160;&#160;&#160;Chapter dependencies</text>
<text text-anchor="start" x="396.5" y="-876.5" font-family="Times,serif" font-size="10.00" fill="blue">⟶</text>
<text text-anchor="start" x="412.5" y="-876.5" font-family="Times,serif" font-size="10.00"> &#160;&#160;&#160;&#160;Recommended path for semester course</text>
</a>
</g>
</g>
<!-- Equiv -->
<g id="node6" class="node">
<title>Equiv</title>
<g id="a_node6"><a xlink:href="Equiv.html" xlink:title="Go to chapter" target="_top">
<polygon fill="lightblue" stroke="black" points="204.5,-756 92.5,-756 92.5,-712 204.5,-712 204.5,-756"/>
<text text-anchor="start" x="135.5" y="-739.2" font-family="Times,serif" font-size="11.00">Equiv</text>
<text text-anchor="start" x="110.5" y="-722.8" font-family="Times,serif" font-size="9.00">Program Equivalence</text>
</a>
</g>
</g>
<!-- Preface&#45;&gt;Equiv -->
<g id="edge20" class="edge">
<title>Preface&#45;&gt;Equiv</title>
<path fill="none" stroke="gray" d="M245.85,-794.02C228.35,-784.66 206.56,-772.34 187.98,-761.38"/>
<polygon fill="gray" stroke="gray" points="189.54,-758.23 179.16,-756.12 185.96,-764.24 189.54,-758.23"/>
</g>
<!-- Preface&#45;&gt;Equiv -->
<g id="edge25" class="edge">
<title>Preface&#45;&gt;Equiv</title>
<path fill="none" stroke="blue" d="M253.38,-791.84C238.36,-782.66 218.57,-771.18 200.2,-760.94"/>
<polygon fill="blue" stroke="blue" points="201.77,-757.81 191.32,-756.03 198.38,-763.94 201.77,-757.81"/>
</g>
<!-- Hoare -->
<g id="node7" class="node">
<title>Hoare</title>
<g id="a_node7"><a xlink:href="Hoare.html" xlink:title="Go to chapter" target="_top">
<polygon fill="lightblue" stroke="black" points="332,-756 223,-756 223,-712 332,-712 332,-756"/>
<text text-anchor="start" x="264" y="-739.2" font-family="Times,serif" font-size="11.00">Hoare</text>
<text text-anchor="start" x="241.5" y="-722.8" font-family="Times,serif" font-size="9.00">Hoare Logic (Part I)</text>
</a>
</g>
</g>
<!-- Preface&#45;&gt;Hoare -->
<g id="edge21" class="edge">
<title>Preface&#45;&gt;Hoare</title>
<path fill="none" stroke="gray" d="M277.5,-791.84C277.5,-784.16 277.5,-774.88 277.5,-766.05"/>
<polygon fill="gray" stroke="gray" points="281,-766.03 277.5,-756.03 274,-766.03 281,-766.03"/>
</g>
<!-- Smallstep -->
<g id="node10" class="node">
<title>Smallstep</title>
<g id="a_node10"><a xlink:href="Smallstep.html" xlink:title="Go to chapter" target="_top">
<polygon fill="lightblue" stroke="black" points="507,-756 350,-756 350,-712 507,-712 507,-756"/>
<text text-anchor="start" x="407" y="-739.2" font-family="Times,serif" font-size="11.00">Smallstep</text>
<text text-anchor="start" x="368.5" y="-722.8" font-family="Times,serif" font-size="9.00">Small&#45;Step Operational Semantics</text>
</a>
</g>
</g>
<!-- Preface&#45;&gt;Smallstep -->
<g id="edge19" class="edge">
<title>Preface&#45;&gt;Smallstep</title>
<path fill="none" stroke="gray" d="M309.15,-793.49C328.61,-783.95 354.02,-771.5 376.38,-760.54"/>
<polygon fill="gray" stroke="gray" points="377.99,-763.65 385.43,-756.11 374.91,-757.36 377.99,-763.65"/>
</g>
<!-- Postscript -->
<g id="node4" class="node">
<title>Postscript</title>
<g id="a_node4"><a xlink:href="Postscript.html" xlink:title="Go to chapter" target="_top">
<polygon fill="lightblue" stroke="black" points="236.5,-116 164.5,-116 164.5,-80 236.5,-80 236.5,-116"/>
<text text-anchor="middle" x="200.5" y="-95.2" font-family="Times,serif" font-size="11.00">Postscript</text>
</a>
</g>
</g>
<!-- Bib -->
<g id="node5" class="node">
<title>Bib</title>
<g id="a_node5"><a xlink:href="Bib.html" xlink:title="Go to chapter" target="_top">
<polygon fill="lightblue" stroke="black" points="242,-44 159,-44 159,0 242,0 242,-44"/>
<text text-anchor="start" x="193" y="-27.2" font-family="Times,serif" font-size="11.00">Bib</text>
<text text-anchor="start" x="177.5" y="-10.8" font-family="Times,serif" font-size="9.00">Bibliography</text>
</a>
</g>
</g>
<!-- Postscript&#45;&gt;Bib -->
<g id="edge23" class="edge">
<title>Postscript&#45;&gt;Bib</title>
<path fill="none" stroke="gray" d="M200.5,-79.84C200.5,-72.16 200.5,-62.88 200.5,-54.05"/>
<polygon fill="gray" stroke="gray" points="204,-54.03 200.5,-44.03 197,-54.03 204,-54.03"/>
</g>
<!-- Equiv&#45;&gt;Hoare -->
<g id="edge26" class="edge">
<title>Equiv&#45;&gt;Hoare</title>
<path fill="none" stroke="blue" d="M204.69,-734C207.34,-734 209.99,-734 212.65,-734"/>
<polygon fill="blue" stroke="blue" points="212.89,-737.5 222.89,-734 212.89,-730.5 212.89,-737.5"/>
</g>
<!-- PE -->
<g id="node20" class="node">
<title>PE</title>
<g id="a_node20"><a xlink:href="PE.html" xlink:title="Go to chapter" target="_top">
<polygon fill="lightyellow" stroke="black" points="99,-676 0,-676 0,-632 99,-632 99,-676"/>
<text text-anchor="start" x="43.5" y="-659.2" font-family="Times,serif" font-size="11.00">PE</text>
<text text-anchor="start" x="18.5" y="-642.8" font-family="Times,serif" font-size="9.00">Partial Evaluation</text>
</a>
</g>
</g>
<!-- Equiv&#45;&gt;PE -->
<g id="edge18" class="edge">
<title>Equiv&#45;&gt;PE</title>
<path fill="none" stroke="gray" d="M121.71,-711.89C110.15,-702.79 96.49,-692.02 84.17,-682.32"/>
<polygon fill="gray" stroke="gray" points="86.33,-679.56 76.31,-676.12 82,-685.06 86.33,-679.56"/>
</g>
<!-- Hoare2 -->
<g id="node8" class="node">
<title>Hoare2</title>
<g id="a_node8"><a xlink:href="Hoare2.html" xlink:title="Go to chapter" target="_top">
<polygon fill="lightblue" stroke="black" points="366.5,-676 254.5,-676 254.5,-632 366.5,-632 366.5,-676"/>
<text text-anchor="start" x="293.5" y="-659.2" font-family="Times,serif" font-size="11.00">Hoare2</text>
<text text-anchor="start" x="272.5" y="-642.8" font-family="Times,serif" font-size="9.00">Hoare Logic (Part II)</text>
</a>
</g>
</g>
<!-- Hoare&#45;&gt;Hoare2 -->
<g id="edge1" class="edge">
<title>Hoare&#45;&gt;Hoare2</title>
<path fill="none" stroke="gray" d="M280.43,-711.69C283.22,-703.54 287.05,-694.08 291.1,-685.26"/>
<polygon fill="gray" stroke="gray" points="294.37,-686.55 295.54,-676.02 288.06,-683.52 294.37,-686.55"/>
</g>
<!-- Hoare&#45;&gt;Hoare2 -->
<g id="edge27" class="edge">
<title>Hoare&#45;&gt;Hoare2</title>
<path fill="none" stroke="blue" d="M292.61,-711.69C296.66,-703.62 300.79,-694.28 304.19,-685.54"/>
<polygon fill="blue" stroke="blue" points="307.52,-686.61 307.67,-676.02 300.95,-684.2 307.52,-686.61"/>
</g>
<!-- HoareAsLogic -->
<g id="node9" class="node">
<title>HoareAsLogic</title>
<g id="a_node9"><a xlink:href="HoareAsLogic.html" xlink:title="Go to chapter" target="_top">
<polygon fill="lightblue" stroke="black" points="236,-676 117,-676 117,-632 236,-632 236,-676"/>
<text text-anchor="start" x="143.5" y="-659.2" font-family="Times,serif" font-size="11.00">HoareAsLogic</text>
<text text-anchor="start" x="135.5" y="-642.8" font-family="Times,serif" font-size="9.00">Hoare Logic as a Logic</text>
</a>
</g>
</g>
<!-- Hoare&#45;&gt;HoareAsLogic -->
<g id="edge7" class="edge">
<title>Hoare&#45;&gt;HoareAsLogic</title>
<path fill="none" stroke="gray" d="M250.17,-711.89C238.38,-702.79 224.44,-692.02 211.88,-682.32"/>
<polygon fill="gray" stroke="gray" points="213.91,-679.47 203.85,-676.12 209.63,-685.01 213.91,-679.47"/>
</g>
<!-- Hoare2&#45;&gt;Smallstep -->
<g id="edge28" class="edge">
<title>Hoare2&#45;&gt;Smallstep</title>
<path fill="none" stroke="blue" d="M342.46,-676.12C356.5,-685.4 373.14,-696.41 388.03,-706.25"/>
<polygon fill="blue" stroke="blue" points="386.3,-709.3 396.57,-711.89 390.16,-703.46 386.3,-709.3"/>
</g>
<!-- Types -->
<g id="node11" class="node">
<title>Types</title>
<g id="a_node11"><a xlink:href="Types.html" xlink:title="Go to chapter" target="_top">
<polygon fill="lightblue" stroke="black" points="472,-676 385,-676 385,-632 472,-632 472,-676"/>
<text text-anchor="start" x="415.5" y="-659.2" font-family="Times,serif" font-size="11.00">Types</text>
<text text-anchor="start" x="403.5" y="-642.8" font-family="Times,serif" font-size="9.00">Type Systems</text>
</a>
</g>
</g>
<!-- Smallstep&#45;&gt;Types -->
<g id="edge2" class="edge">
<title>Smallstep&#45;&gt;Types</title>
<path fill="none" stroke="gray" d="M422.41,-711.69C421.78,-703.8 421.6,-694.68 421.87,-686.1"/>
<polygon fill="gray" stroke="gray" points="425.37,-686.2 422.43,-676.02 418.39,-685.81 425.37,-686.2"/>
</g>
<!-- Smallstep&#45;&gt;Types -->
<g id="edge29" class="edge">
<title>Smallstep&#45;&gt;Types</title>
<path fill="none" stroke="blue" d="M434.59,-711.69C435.22,-703.8 435.4,-694.68 435.13,-686.1"/>
<polygon fill="blue" stroke="blue" points="438.61,-685.81 434.57,-676.02 431.63,-686.2 438.61,-685.81"/>
</g>
<!-- Stlc -->
<g id="node12" class="node">
<title>Stlc</title>
<g id="a_node12"><a xlink:href="Stlc.html" xlink:title="Go to chapter" target="_top">
<polygon fill="lightblue" stroke="black" points="362,-596 195,-596 195,-552 362,-552 362,-596"/>
<text text-anchor="start" x="270" y="-579.2" font-family="Times,serif" font-size="11.00">Stlc</text>
<text text-anchor="start" x="213.5" y="-562.8" font-family="Times,serif" font-size="9.00">The Simply Typed Lambda&#45;Calculus</text>
</a>
</g>
</g>
<!-- Types&#45;&gt;Stlc -->
<g id="edge3" class="edge">
<title>Types&#45;&gt;Stlc</title>
<path fill="none" stroke="gray" d="M384.7,-633.32C364.84,-623.45 341.49,-611.39 321.71,-600.79"/>
<polygon fill="gray" stroke="gray" points="323.36,-597.71 312.9,-596.04 320.04,-603.87 323.36,-597.71"/>
</g>
<!-- Types&#45;&gt;Stlc -->
<g id="edge30" class="edge">
<title>Types&#45;&gt;Stlc</title>
<path fill="none" stroke="blue" d="M393.98,-631.89C376.25,-622.27 354.28,-610.79 334.25,-600.67"/>
<polygon fill="blue" stroke="blue" points="335.71,-597.48 325.2,-596.12 332.57,-603.74 335.71,-597.48"/>
</g>
<!-- StlcProp -->
<g id="node13" class="node">
<title>StlcProp</title>
<g id="a_node13"><a xlink:href="StlcProp.html" xlink:title="Go to chapter" target="_top">
<polygon fill="lightblue" stroke="black" points="276.5,-516 170.5,-516 170.5,-472 276.5,-472 276.5,-516"/>
<text text-anchor="start" x="204.5" y="-499.2" font-family="Times,serif" font-size="11.00">StlcProp</text>
<text text-anchor="start" x="188.5" y="-482.8" font-family="Times,serif" font-size="9.00">Properties of STLC</text>
</a>
</g>
</g>
<!-- Stlc&#45;&gt;StlcProp -->
<g id="edge4" class="edge">
<title>Stlc&#45;&gt;StlcProp</title>
<path fill="none" stroke="gray" d="M257.38,-551.69C250.85,-543.36 243.86,-533.68 237.86,-524.69"/>
<polygon fill="gray" stroke="gray" points="240.62,-522.52 232.25,-516.02 234.74,-526.32 240.62,-522.52"/>
</g>
<!-- Stlc&#45;&gt;StlcProp -->
<g id="edge31" class="edge">
<title>Stlc&#45;&gt;StlcProp</title>
<path fill="none" stroke="blue" d="M269.56,-551.69C264.25,-543.19 257.41,-533.27 250.6,-524.13"/>
<polygon fill="blue" stroke="blue" points="253.24,-521.83 244.39,-516.02 247.68,-526.09 253.24,-521.83"/>
</g>
<!-- Typechecking -->
<g id="node15" class="node">
<title>Typechecking</title>
<g id="a_node15"><a xlink:href="Typechecking.html" xlink:title="Go to chapter" target="_top">
<polygon fill="lightblue" stroke="black" points="604,-356 477,-356 477,-312 604,-312 604,-356"/>
<text text-anchor="start" x="510" y="-339.2" font-family="Times,serif" font-size="11.00">Typechecking</text>
<text text-anchor="start" x="495.5" y="-322.8" font-family="Times,serif" font-size="9.00">A Typechecker for STLC</text>
</a>
</g>
</g>
<!-- Stlc&#45;&gt;Typechecking -->
<g id="edge11" class="edge">
<title>Stlc&#45;&gt;Typechecking</title>
<path fill="none" stroke="gray" d="M285.79,-551.85C301.45,-507.54 339.13,-407.12 366.5,-384 400.17,-355.56 420.6,-367.09 467.23,-356.12"/>
<polygon fill="gray" stroke="gray" points="468.11,-359.5 476.91,-353.61 466.35,-352.73 468.11,-359.5"/>
</g>
<!-- UseTactics -->
<g id="node23" class="node">
<title>UseTactics</title>
<g id="a_node23"><a xlink:href="UseTactics.html" xlink:title="Go to chapter" target="_top">
<polygon fill="lightyellow" stroke="black" points="576.5,-516 378.5,-516 378.5,-472 576.5,-472 576.5,-516"/>
<text text-anchor="start" x="452.5" y="-499.2" font-family="Times,serif" font-size="11.00">UseTactics</text>
<text text-anchor="start" x="396.5" y="-482.8" font-family="Times,serif" font-size="9.00">Tactic Library for Coq: A Gentle Introduction</text>
</a>
</g>
</g>
<!-- Stlc&#45;&gt;UseTactics -->
<g id="edge17" class="edge">
<title>Stlc&#45;&gt;UseTactics</title>
<path fill="none" stroke="gray" d="M332.09,-551.99C357.41,-542.07 387.82,-530.15 414.27,-519.78"/>
<polygon fill="gray" stroke="gray" points="415.78,-522.95 423.81,-516.04 413.23,-516.43 415.78,-522.95"/>
</g>
<!-- MoreStlc -->
<g id="node14" class="node">
<title>MoreStlc</title>
<g id="a_node14"><a xlink:href="MoreStlc.html" xlink:title="Go to chapter" target="_top">
<polygon fill="lightblue" stroke="black" points="322,-436 125,-436 125,-392 322,-392 322,-436"/>
<text text-anchor="start" x="203" y="-419.2" font-family="Times,serif" font-size="11.00">MoreStlc</text>
<text text-anchor="start" x="143.5" y="-402.8" font-family="Times,serif" font-size="9.00">More on the Simply Typed Lambda&#45;Calculus</text>
</a>
</g>
</g>
<!-- StlcProp&#45;&gt;MoreStlc -->
<g id="edge5" class="edge">
<title>StlcProp&#45;&gt;MoreStlc</title>
<path fill="none" stroke="gray" d="M217.41,-471.69C216.78,-463.8 216.6,-454.68 216.87,-446.1"/>
<polygon fill="gray" stroke="gray" points="220.37,-446.2 217.43,-436.02 213.39,-445.81 220.37,-446.2"/>
</g>
<!-- StlcProp&#45;&gt;MoreStlc -->
<g id="edge32" class="edge">
<title>StlcProp&#45;&gt;MoreStlc</title>
<path fill="none" stroke="blue" d="M229.59,-471.69C230.22,-463.8 230.4,-454.68 230.13,-446.1"/>
<polygon fill="blue" stroke="blue" points="233.61,-445.81 229.57,-436.02 226.63,-446.2 233.61,-445.81"/>
</g>
<!-- MoreStlc&#45;&gt;Typechecking -->
<g id="edge33" class="edge">
<title>MoreStlc&#45;&gt;Typechecking</title>
<path fill="none" stroke="blue" d="M303.65,-391.99C314.67,-389.23 325.85,-386.49 336.5,-384 391.93,-371.02 408.66,-370.63 467.2,-356.24"/>
<polygon fill="blue" stroke="blue" points="468.11,-359.62 476.97,-353.81 466.42,-352.83 468.11,-359.62"/>
</g>
<!-- References -->
<g id="node16" class="node">
<title>References</title>
<g id="a_node16"><a xlink:href="References.html" xlink:title="Go to chapter" target="_top">
<polygon fill="lightblue" stroke="black" points="135,-356 0,-356 0,-312 135,-312 135,-356"/>
<text text-anchor="start" x="42" y="-339.2" font-family="Times,serif" font-size="11.00">References</text>
<text text-anchor="start" x="18.5" y="-322.8" font-family="Times,serif" font-size="9.00">Typing Mutable References</text>
</a>
</g>
</g>
<!-- MoreStlc&#45;&gt;References -->
<g id="edge6" class="edge">
<title>MoreStlc&#45;&gt;References</title>
<path fill="none" stroke="gray" d="M181.28,-391.89C162.03,-382.27 139.07,-370.79 118.83,-360.67"/>
<polygon fill="gray" stroke="gray" points="120.26,-357.47 109.75,-356.12 117.13,-363.73 120.26,-357.47"/>
</g>
<!-- Sub -->
<g id="node17" class="node">
<title>Sub</title>
<g id="a_node17"><a xlink:href="Sub.html" xlink:title="Go to chapter" target="_top">
<polygon fill="lightblue" stroke="black" points="200,-276 127,-276 127,-232 200,-232 200,-276"/>
<text text-anchor="start" x="155.5" y="-259.2" font-family="Times,serif" font-size="11.00">Sub</text>
<text text-anchor="start" x="145.5" y="-242.8" font-family="Times,serif" font-size="9.00">Subtyping</text>
</a>
</g>
</g>
<!-- MoreStlc&#45;&gt;Sub -->
<g id="edge10" class="edge">
<title>MoreStlc&#45;&gt;Sub</title>
<path fill="none" stroke="gray" d="M204.91,-391.9C196.85,-381.7 188.02,-368.89 182.5,-356 172.99,-333.79 168.22,-306.82 165.84,-286.34"/>
<polygon fill="gray" stroke="gray" points="169.31,-285.87 164.8,-276.28 162.35,-286.59 169.31,-285.87"/>
</g>
<!-- Records -->
<g id="node18" class="node">
<title>Records</title>
<g id="a_node18"><a xlink:href="Records.html" xlink:title="Go to chapter" target="_top">
<polygon fill="lightblue" stroke="black" points="319.5,-356 191.5,-356 191.5,-312 319.5,-312 319.5,-356"/>
<text text-anchor="start" x="237" y="-339.2" font-family="Times,serif" font-size="11.00">Records</text>
<text text-anchor="start" x="209.5" y="-322.8" font-family="Times,serif" font-size="9.00">Adding Records to STLC</text>
</a>
</g>
</g>
<!-- MoreStlc&#45;&gt;Records -->
<g id="edge8" class="edge">
<title>MoreStlc&#45;&gt;Records</title>
<path fill="none" stroke="gray" d="M232.24,-391.69C235.55,-383.62 239.38,-374.28 242.97,-365.54"/>
<polygon fill="gray" stroke="gray" points="246.32,-366.6 246.88,-356.02 239.84,-363.94 246.32,-366.6"/>
</g>
<!-- Norm -->
<g id="node21" class="node">
<title>Norm</title>
<g id="a_node21"><a xlink:href="Norm.html" xlink:title="Go to chapter" target="_top">
<polygon fill="lightyellow" stroke="black" points="459,-356 338,-356 338,-312 459,-312 459,-356"/>
<text text-anchor="start" x="386" y="-339.2" font-family="Times,serif" font-size="11.00">Norm</text>
<text text-anchor="start" x="356.5" y="-322.8" font-family="Times,serif" font-size="9.00">Normalization of STLC</text>
</a>
</g>
</g>
<!-- MoreStlc&#45;&gt;Norm -->
<g id="edge13" class="edge">
<title>MoreStlc&#45;&gt;Norm</title>
<path fill="none" stroke="gray" d="M270.86,-391.89C292.74,-382.14 318.91,-370.48 341.83,-360.26"/>
<polygon fill="gray" stroke="gray" points="343.4,-363.39 351.1,-356.12 340.55,-357 343.4,-363.39"/>
</g>
<!-- Typechecking&#45;&gt;References -->
<g id="edge34" class="edge">
<title>Typechecking&#45;&gt;References</title>
<path fill="none" stroke="blue" d="M499.58,-356.15C487.08,-361.82 473.05,-367.12 459.5,-370 401.24,-382.36 250.46,-378.39 191.5,-370 174.62,-367.6 156.82,-363.45 140.14,-358.79"/>
<polygon fill="blue" stroke="blue" points="141.04,-355.41 130.46,-356.01 139.11,-362.14 141.04,-355.41"/>
</g>
<!-- References&#45;&gt;Sub -->
<g id="edge35" class="edge">
<title>References&#45;&gt;Sub</title>
<path fill="none" stroke="blue" d="M93.48,-311.89C104.58,-302.87 117.68,-292.23 129.53,-282.6"/>
<polygon fill="blue" stroke="blue" points="131.95,-285.15 137.5,-276.12 127.53,-279.71 131.95,-285.15"/>
</g>
<!-- Sub&#45;&gt;Records -->
<g id="edge36" class="edge">
<title>Sub&#45;&gt;Records</title>
<path fill="none" stroke="blue" d="M188.29,-276.02C198.78,-284.91 211.15,-295.4 222.41,-304.94"/>
<polygon fill="blue" stroke="blue" points="220.47,-307.89 230.36,-311.69 225,-302.55 220.47,-307.89"/>
</g>
<!-- RecordSub -->
<g id="node19" class="node">
<title>RecordSub</title>
<g id="a_node19"><a xlink:href="RecordSub.html" xlink:title="Go to chapter" target="_top">
<polygon fill="lightblue" stroke="black" points="262,-196 139,-196 139,-152 262,-152 262,-196"/>
<text text-anchor="start" x="176.5" y="-179.2" font-family="Times,serif" font-size="11.00">RecordSub</text>
<text text-anchor="start" x="157.5" y="-162.8" font-family="Times,serif" font-size="9.00">Subtyping with Records</text>
</a>
</g>
</g>
<!-- Sub&#45;&gt;RecordSub -->
<g id="edge12" class="edge">
<title>Sub&#45;&gt;RecordSub</title>
<path fill="none" stroke="gray" d="M173.61,-231.69C177.48,-223.54 181.96,-214.08 186.15,-205.26"/>
<polygon fill="gray" stroke="gray" points="189.41,-206.55 190.53,-196.02 183.08,-203.55 189.41,-206.55"/>
</g>
<!-- Records&#45;&gt;RecordSub -->
<g id="edge9" class="edge">
<title>Records&#45;&gt;RecordSub</title>
<path fill="none" stroke="gray" d="M243.29,-311.69C231.48,-284.52 214.82,-237.34 205.84,-206.14"/>
<polygon fill="gray" stroke="gray" points="209.14,-204.93 203.11,-196.22 202.39,-206.79 209.14,-204.93"/>
</g>
<!-- Records&#45;&gt;RecordSub -->
<g id="edge37" class="edge">
<title>Records&#45;&gt;RecordSub</title>
<path fill="none" stroke="blue" d="M252.87,-311.69C245.73,-284.4 229.44,-236.93 216.67,-205.73"/>
<polygon fill="blue" stroke="blue" points="219.77,-204.08 212.67,-196.22 213.32,-206.8 219.77,-204.08"/>
</g>
<!-- RecordSub&#45;&gt;Postscript -->
<g id="edge38" class="edge">
<title>RecordSub&#45;&gt;Postscript</title>
<path fill="none" stroke="blue" d="M200.5,-151.99C200.5,-144.06 200.5,-134.91 200.5,-126.48"/>
<polygon fill="blue" stroke="blue" points="204,-126.31 200.5,-116.31 197,-126.31 204,-126.31"/>
</g>
<!-- LibTactics -->
<g id="node22" class="node">
<title>LibTactics</title>
<g id="a_node22"><a xlink:href="LibTactics.html" xlink:title="Go to chapter" target="_top">
<polygon fill="none" stroke="black" stroke-dasharray="1,5" points="555,-592 480,-592 480,-556 555,-556 555,-592"/>
<text text-anchor="middle" x="517.5" y="-571.2" font-family="Times,serif" font-size="11.00">LibTactics</text>
</a>
</g>
</g>
<!-- LibTactics&#45;&gt;UseTactics -->
<g id="edge14" class="edge">
<title>LibTactics&#45;&gt;UseTactics</title>
<path fill="none" stroke="gray" d="M508.62,-555.69C504.04,-546.76 498.32,-535.59 493.03,-525.29"/>
<polygon fill="gray" stroke="gray" points="496.03,-523.45 488.35,-516.15 489.8,-526.65 496.03,-523.45"/>
</g>
<!-- UseAuto -->
<g id="node24" class="node">
<title>UseAuto</title>
<g id="a_node24"><a xlink:href="UseAuto.html" xlink:title="Go to chapter" target="_top">
<polygon fill="lightyellow" stroke="black" points="594,-436 381,-436 381,-392 594,-392 594,-436"/>
<text text-anchor="start" x="468" y="-419.2" font-family="Times,serif" font-size="11.00">UseAuto</text>
<text text-anchor="start" x="399.5" y="-402.8" font-family="Times,serif" font-size="9.00">Theory and Practice of Automation in Coq Proofs</text>
</a>
</g>
</g>
<!-- LibTactics&#45;&gt;UseAuto -->
<g id="edge15" class="edge">
<title>LibTactics&#45;&gt;UseAuto</title>
<path fill="none" stroke="gray" d="M548.42,-555.77C562.51,-546.1 577.75,-532.61 585.5,-516 593.77,-498.28 595.25,-488.95 585.5,-472 578.2,-459.32 566.88,-449.19 554.48,-441.21"/>
<polygon fill="gray" stroke="gray" points="556.15,-438.13 545.77,-436.02 552.57,-444.14 556.15,-438.13"/>
</g>
<!-- UseTactics&#45;&gt;UseAuto -->
<g id="edge16" class="edge">
<title>UseTactics&#45;&gt;UseAuto</title>
<path fill="none" stroke="gray" d="M480.23,-471.69C481.24,-463.8 482.41,-454.68 483.51,-446.1"/>
<polygon fill="gray" stroke="gray" points="487.01,-446.38 484.81,-436.02 480.06,-445.49 487.01,-446.38"/>
</g>
</g>
</svg>