equal
deleted
inserted
replaced
172 </table> |
172 </table> |
173 </div> |
173 </div> |
174 |
174 |
175 |
175 |
176 <HR> |
176 <HR> |
177 <a href="http://www4.clustrmaps.com/counter/maps.php?url=http://www.inf.kcl.ac.uk/staff/urbanc/activities/idp/" id="clustrMapsLink"><img src="http://www4.clustrmaps.com/counter/index2.php?url=http://isabelle.in.tum.de/nominal/activities/idp/" style="border:0px;" alt="Locations of visitors to this page" title="Locations of visitors to this page" id="clustrMapsImg" onError="this.onError=null; this.src='http://www2.clustrmaps.com/images/clustrmaps-back-soon.jpg'; document.getElementById('clustrMapsLink').href='http://www2.clustrmaps.com'" /> |
177 <div id="clustrmaps-widget"></div><script type="text/javascript">var _clustrmaps = {'url' : 'http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/index.html', 'user' : 948346, 'server' : '4', 'id' : 'clustrmaps-widget', 'version' : 1, 'date' : '2011-10-30', 'lang' : 'en', 'corners' : 'square' };(function (){ var s = document.createElement('script'); s.type = 'text/javascript'; s.async = true; s.src = 'http://www4.clustrmaps.com/counter/map.js'; var x = document.getElementsByTagName('script')[0]; x.parentNode.insertBefore(s, x);})();</script><noscript><a href="http://www4.clustrmaps.com/user/123e787a"><img src="http://www4.clustrmaps.com/stats/maps-no_clusters/www.inf.kcl.ac.uk-staff-urbanc-Cookbook-index.html-thumb.jpg" alt="Locations of visitors to this page" /></a></noscript> |
178 </a> |
178 </a> |
179 <p> |
179 <p> |
180 <P> |
180 <P> |
181 <a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a> |
181 <a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a> |
182 <!-- hhmts start --> |
182 <!-- hhmts start --> |
183 Last modified: Sun Oct 30 22:34:54 GMT 2011 |
183 Last modified: Sun Oct 30 22:38:32 GMT 2011 |
184 <!-- hhmts end --> |
184 <!-- hhmts end --> |
185 |
185 |
186 </body> |
186 </body> |
187 </html> |
187 </html> |