equal
deleted
inserted
replaced
195 <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> |
195 <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> |
196 <A HREF="http://www.dfg.de/en/research_funding/programmes/individual/emmy_noether/in_brief/index.html">fellowship</A>. |
196 <A HREF="http://www.dfg.de/en/research_funding/programmes/individual/emmy_noether/in_brief/index.html">fellowship</A>. |
197 There is a <A HREF="http://isabelle.in.tum.de/nominal/">webpage</A> and a |
197 There is a <A HREF="http://isabelle.in.tum.de/nominal/">webpage</A> and a |
198 <A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/nominal-isabelle">mailing list</A> |
198 <A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/nominal-isabelle">mailing list</A> |
199 about Nominal Isabelle. It also includes a list of projects that use Nominal Isabelle. |
199 about Nominal Isabelle. It also includes a list of projects that use Nominal Isabelle. |
200 Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP, SEFM and CADE. |
200 Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP, SEFM and |
|
201 in the Journal of Automated Reasoning. |
201 </TD> |
202 </TD> |
202 </TR> |
203 </TR> |
203 |
204 |
204 <TR> |
205 <TR> |
205 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
206 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
339 </TR> |
340 </TR> |
340 |
341 |
341 |
342 |
342 </TABLE> |
343 </TABLE> |
343 <P> |
344 <P> |
344 <!-- hhmts start --> Last modified: Fri Jul 10 01:44:06 BST 2015 <!-- hhmts end --> |
345 <!-- hhmts start --> Last modified: Fri Jul 10 01:50:23 BST 2015 <!-- hhmts end --> |
345 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
346 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
346 </BODY> |
347 </BODY> |
347 </HTML> |
348 </HTML> |