equal
deleted
inserted
replaced
200 <TR> |
200 <TR> |
201 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
201 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
202 <B>Nominal Isabelle</B> |
202 <B>Nominal Isabelle</B> |
203 I currently work on Nominal |
203 I currently work on Nominal |
204 <A HREF="http://isabelle.in.tum.de">Isabelle</A> 2. This is joint work with |
204 <A HREF="http://isabelle.in.tum.de">Isabelle</A> 2. This is joint work with |
205 <A HREF="http://wwwbroy.in.tum.de/~berghofe/">Dr Stefan Berghofer</A>, |
205 <A HREF="http://www21.in.tum.de/~berghofe/">Dr Stefan Berghofer</A>, |
206 <A HREF="http://sketis.net/">Dr Markus Wenzel</A>, |
206 <A HREF="http://sketis.net/">Dr Markus Wenzel</A>, |
207 <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Dr Cezary Kaliszyk</A>, |
207 <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Dr Cezary Kaliszyk</A>, |
208 <A HREF="http://user.it.uu.se/~tjawe125/">Dr Tjark Weber</A> and |
208 <A HREF="http://user.it.uu.se/~tjawe125/">Dr Tjark Weber</A> and |
209 the Isabelle-team in Munich. |
209 the Isabelle-team in Munich. |
210 Many of the theoretical ideas originate from the nominal logic project - a wonderful project headed |
210 Many of the theoretical ideas originate from the nominal logic project - a wonderful project headed |