equal
deleted
inserted
replaced
133 <DD><A HREF="http://www.wv.inf.tu-dresden.de/~sh/">Steffen Hölldobler</A></DD> |
133 <DD><A HREF="http://www.wv.inf.tu-dresden.de/~sh/">Steffen Hölldobler</A></DD> |
134 <DD><A HREF="http://www.steffen-zschaler.de/">Steffen Zschaler</A></DD> |
134 <DD><A HREF="http://www.steffen-zschaler.de/">Steffen Zschaler</A></DD> |
135 <DD><A HREF="http://wwwbroy.in.tum.de/~berghofe/index.html">Stefan Berghofer</A></DD> |
135 <DD><A HREF="http://wwwbroy.in.tum.de/~berghofe/index.html">Stefan Berghofer</A></DD> |
136 <DD><A HREF="http://www.cis.upenn.edu/~stevez/">Steve Zdancewic</A></DD> |
136 <DD><A HREF="http://www.cis.upenn.edu/~stevez/">Steve Zdancewic</A></DD> |
137 <DD><A HREF="http://www.cs.chalmers.se/~coquand/">Thierry Coquand</A></DD> |
137 <DD><A HREF="http://www.cs.chalmers.se/~coquand/">Thierry Coquand</A></DD> |
138 <DD><A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/">Tobias Nipkow</A></DD> |
138 <DD><A HREF="http://www21.in.tum.de/~nipkow/">Tobias Nipkow</A></DD> |
139 <DD><A HREF="http://www-compsci.swan.ac.uk/~csulrich/">Ulrich Berger</A></DD> |
139 <DD><A HREF="http://www-compsci.swan.ac.uk/~csulrich/">Ulrich Berger</A></DD> |
140 <DD><A HREF="http://pauillac.inria.fr/~xleroy/">Xavier Leroy</A></DD> |
140 <DD><A HREF="http://pauillac.inria.fr/~xleroy/">Xavier Leroy</A></DD> |
141 </DL> |
141 </DL> |
142 </TD> |
142 </TD> |
143 </TR> |
143 </TR> |
161 </TD> |
161 </TD> |
162 </TR> |
162 </TR> |
163 |
163 |
164 </TABLE> |
164 </TABLE> |
165 <P> |
165 <P> |
166 <!-- hhmts start --> Last modified: Thu Jun 20 09:25:40 EDT 2013 <!-- hhmts end --> |
166 <!-- hhmts start --> Last modified: Wed Jul 31 05:39:35 BST 2013 <!-- hhmts end --> |
167 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
167 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
168 </BODY> |
168 </BODY> |
169 </HTML> |
169 </HTML> |
170 |
170 |
171 |
171 |