equal
deleted
inserted
replaced
13 </script> |
13 </script> |
14 <script type="text/javascript" src="/review/support/hsbook.js"> |
14 <script type="text/javascript" src="/review/support/hsbook.js"> |
15 </script> |
15 </script> |
16 </head> |
16 </head> |
17 <body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"> |
17 <body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"> |
18 <div class="chapter" id="list_tuples"> |
18 <div class="chapter" id="ch3list_tuples"> |
19 <div class="titlepage"> |
19 <div class="titlepage"> |
20 </div> |
20 </div> |
21 <div class="toc"> |
21 <div class="toc"> |
22 <p> |
22 <p> |
23 <b> |
23 <b> |