equal
deleted
inserted
replaced
184 <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> |
184 <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> |
185 <A HREF="http://www.dfg.de/en/research_funding/programmes/individual/emmy_noether/in_brief/index.html">fellowship</A>. |
185 <A HREF="http://www.dfg.de/en/research_funding/programmes/individual/emmy_noether/in_brief/index.html">fellowship</A>. |
186 There is a <A HREF="http://isabelle.in.tum.de/nominal/">webpage</A> and a |
186 There is a <A HREF="http://isabelle.in.tum.de/nominal/">webpage</A> and a |
187 <A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/nominal-isabelle">mailing list</A> |
187 <A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/nominal-isabelle">mailing list</A> |
188 about Nominal Isabelle. It also includes a list of projects that use Nominal Isabelle. |
188 about Nominal Isabelle. It also includes a list of projects that use Nominal Isabelle. |
189 Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs and CPP. |
189 Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP and SEFM. |
190 </TD> |
190 </TD> |
191 </TR> |
191 </TR> |
192 |
192 |
193 <TR> |
193 <TR> |
194 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
194 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |