equal
deleted
inserted
replaced
162 |
162 |
163 <TR> |
163 <TR> |
164 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
164 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
165 <B>Nominal Isabelle</B> |
165 <B>Nominal Isabelle</B> |
166 I currently work on Nominal |
166 I currently work on Nominal |
167 <A HREF="http://isabelle.in.tum.de">Isabelle</A>. This is joint work with |
167 <A HREF="http://isabelle.in.tum.de">Isabelle</A> 2. This is joint work with |
168 <A HREF="http://wwwbroy.in.tum.de/~berghofe/">Dr Stefan Berghofer</A>, |
168 <A HREF="http://wwwbroy.in.tum.de/~berghofe/">Dr Stefan Berghofer</A>, |
169 <A HREF="https://www.lri.fr/~wenzel/">Dr Markus Wenzel</A>, |
169 <A HREF="https://www.lri.fr/~wenzel/">Dr Markus Wenzel</A>, |
170 <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Dr Cezary Kaliszyk</A>, |
170 <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Dr Cezary Kaliszyk</A>, |
171 <A HREF="http://user.it.uu.se/~tjawe125/">Dr Tjark Weber</A> and |
171 <A HREF="http://user.it.uu.se/~tjawe125/">Dr Tjark Weber</A> and |
172 the Isabelle-team in Munich. |
172 the Isabelle-team in Munich. |