equal
deleted
inserted
replaced
121 <HR> |
121 <HR> |
122 |
122 |
123 |
123 |
124 <p> |
124 <p> |
125 The 6th conference on Interactive Theorem Proving will be held in |
125 The 6th conference on Interactive Theorem Proving will be held in |
126 Nanjing, China. The organising committee is chaired by Xingyuan Zhang and Christian Urban. |
126 Nanjing, China. |
127 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated |
127 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated |
128 in the heart of China — close to Shanghai and roughly |
128 in the heart of China — close to Shanghai and roughly |
129 equidistant between Beijing and Hong Kong. It is a former capital |
129 equidistant between Beijing and Hong Kong. It is a former capital |
130 during the Ming Dynasty with a rich <A |
130 during the Ming Dynasty with a rich <A |
131 HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
131 HREF="http://www.cityofnanjing.com">cultural heritage</A>. |