equal
deleted
inserted
replaced
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, |
200 Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP, SEFM, |
201 Haskell Symposium and |
201 the Haskell Symposium and |
202 in the Journal of Automated Reasoning. |
202 in the Journal of Automated Reasoning. |
203 </TD> |
203 </TD> |
204 </TR> |
204 </TR> |
205 |
205 |
206 <TR> |
206 <TR> |
341 </TR> |
341 </TR> |
342 |
342 |
343 |
343 |
344 </TABLE> |
344 </TABLE> |
345 <P> |
345 <P> |
346 <!-- hhmts start --> Last modified: Tue Jul 28 21:42:19 BST 2015 <!-- hhmts end --> |
346 <!-- hhmts start --> Last modified: Tue Jul 28 21:57:35 BST 2015 <!-- hhmts end --> |
347 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
347 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
348 </BODY> |
348 </BODY> |
349 </HTML> |
349 </HTML> |