forked from Coq-zh/SF-zh
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathdeps.html
71 lines (60 loc) · 3.83 KB
/
deps.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
<link href="common/css/sf.css" rel="stylesheet" type="text/css"/>
<title>Chapter Dependencies</title>
<script type="text/javascript" src="common/jquery-1.5.2.js"></script>
<script type="text/javascript" src="common/jquery.maphilight.min.js"></script>
<script>$(function() {
$('img[usemap]').maphilight()
});
</script>
<link href="common/jquery-ui/jquery-ui.css" rel="stylesheet">
<script src="common/jquery-ui/external/jquery/jquery.js"></script>
<script src="common/jquery-ui/jquery-ui.js"></script>
<script src="common/toggleproofs.js"></script>
<link href="common/css/plf.css" rel="stylesheet" type="text/css"/>
</head>
<body>
<div id="page">
<div id="header">
<div id='logoinheader'><a href='https://coq-zh.github.io/SF-zh/'>
<img src='common/media/image/sf_logo_sm.png' alt='Software Foundations Logo'></a></div>
<div class='booktitleinheader'><a href='index.html'>Volume 2: 编程语言基础</a></div>
<ul id='menu'>
<li class='section_name'><a href='toc.html'>目录</a></li>
<li class='section_name'><a href='coqindex.html'>索引</a></li>
<li class='section_name'><a href='deps.html'>路线</a></li>
</ul>
</div>
<div id="main">
<h1 class="libtitle">Chapter Dependencies</h1>
<IMG SRC="deps.gif" usemap="#deps" alt="Graph of Chapter Dependencies">
<map id="deps" name="deps">
<area shape="rect" id="node3" href="Preface.html" title="Preface" alt="" coords="371,161,440,207"/>
<area shape="rect" id="node6" href="Equiv.html" title="<TABLE>" alt="" coords="156,253,298,306"/>
<area shape="rect" id="node7" href="Hoare.html" title="<TABLE>" alt="" coords="321,253,457,306"/>
<area shape="rect" id="node10" href="Smallstep.html" title="<TABLE>" alt="" coords="481,253,675,306"/>
<area shape="rect" id="node4" href="Postscript.html" title="Postscript" alt="" coords="219,1039,288,1085"/>
<area shape="rect" id="node5" href="Bib.html" title="<TABLE>" alt="" coords="200,1131,307,1183"/>
<area shape="rect" id="node20" href="PE.html" title="<TABLE>" alt="" coords="39,352,165,404"/>
<area shape="rect" id="node8" href="Hoare2.html" title="<TABLE>" alt="" coords="360,352,499,404"/>
<area shape="rect" id="node9" href="HoareAsLogic.html" title="<TABLE>" alt="" coords="188,352,337,404"/>
<area shape="rect" id="node11" href="Types.html" title="<TABLE>" alt="" coords="523,352,633,404"/>
<area shape="rect" id="node12" href="Stlc.html" title="<TABLE>" alt="" coords="237,450,441,502"/>
<area shape="rect" id="node13" href="StlcProp.html" title="<TABLE>" alt="" coords="205,548,338,600"/>
<area shape="rect" id="node15" href="Typechecking.html" title="<TABLE>" alt="" coords="597,744,753,797"/>
<area shape="rect" id="node23" href="UseTactics.html" title="<TABLE>" alt="" coords="462,548,716,600"/>
<area shape="rect" id="node14" href="MoreStlc.html" title="<TABLE>" alt="" coords="153,646,390,699"/>
<area shape="rect" id="node16" href="References.html" title="<TABLE>" alt="" coords="5,744,171,797"/>
<area shape="rect" id="node17" href="Sub.html" title="<TABLE>" alt="" coords="159,843,254,895"/>
<area shape="rect" id="node18" href="Records.html" title="<TABLE>" alt="" coords="243,744,400,797"/>
<area shape="rect" id="node21" href="Norm.html" title="<TABLE>" alt="" coords="424,744,574,797"/>
<area shape="rect" id="node19" href="RecordSub.html" title="<TABLE>" alt="" coords="178,941,330,993"/>
<area shape="rect" id="node22" href="LibTactics.html" title="LibTactics" alt="" coords="613,453,683,499"/>
<area shape="rect" id="node24" href="UseAuto.html" title="<TABLE>" alt="" coords="466,646,738,699"/>
</map>
</div>
</div>