-
Notifications
You must be signed in to change notification settings - Fork 8
/
Copy pathdeps.map
21 lines (21 loc) · 2.01 KB
/
deps.map
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
<map id="deps" name="deps">
<area shape="rect" id="node2" href="Preface.html" title="Preface" alt="" coords="345,35,416,83"/>
<area shape="rect" id="node4" href="Basics.html" title="<TABLE>" alt="" coords="280,131,477,187"/>
<area shape="rect" id="node3" href="Postscript.html" title="Postscript" alt="" coords="38,1161,109,1208"/>
<area shape="rect" id="node18" href="Bib.html" title="<TABLE>" alt="" coords="16,1260,132,1315"/>
<area shape="rect" id="node5" href="Induction.html" title="<TABLE>" alt="" coords="307,234,447,289"/>
<area shape="rect" id="node6" href="Lists.html" title="<TABLE>" alt="" coords="279,337,469,392"/>
<area shape="rect" id="node7" href="Poly.html" title="<TABLE>" alt="" coords="252,439,497,494"/>
<area shape="rect" id="node8" href="Tactics.html" title="<TABLE>" alt="" coords="302,542,447,597"/>
<area shape="rect" id="node10" href="Logic.html" title="<TABLE>" alt="" coords="316,644,433,699"/>
<area shape="rect" id="node9" href="IndProp.html" title="<TABLE>" alt="" coords="274,747,475,802"/>
<area shape="rect" id="node11" href="Maps.html" title="<TABLE>" alt="" coords="82,849,241,905"/>
<area shape="rect" id="node12" href="ProofObjects.html" title="<TABLE>" alt="" coords="266,849,484,905"/>
<area shape="rect" id="node17" href="Rel.html" title="<TABLE>" alt="" coords="508,849,667,905"/>
<area shape="rect" id="node14" href="Imp.html" title="<TABLE>" alt="" coords="80,952,264,1007"/>
<area shape="rect" id="node13" href="IndPrinciples.html" title="<TABLE>" alt="" coords="299,952,450,1007"/>
<area shape="rect" id="node19" href="Auto.html" title="<TABLE>" alt="" coords="5,1055,142,1110"/>
<area shape="rect" id="node15" href="ImpParser.html" title="<TABLE>" alt="" coords="166,1055,339,1110"/>
<area shape="rect" id="node16" href="ImpCEvalFun.html" title="<TABLE>" alt="" coords="363,1055,560,1110"/>
<area shape="rect" id="node20" href="Extraction.html" title="<TABLE>" alt="" coords="168,1157,337,1212"/>
</map>