diff -r ca3a6f5c88ab -r c214a2dce02c publications.html --- a/publications.html Sun Apr 10 20:46:30 2016 +0100 +++ b/publications.html Sun Apr 10 20:50:57 2016 +0100 @@ -57,7 +57,7 @@ @@ -219,7 +219,7 @@ (with Narboux) In Proceedings of the 3rd Workshop on Logical and Semantic Frameworks with Applications (LFSA'08). Electronic Notes in Theoretical Computer Science, 247, Pages 139-155, 2009. - [pdf]. + [pdf].

Proceedings of Theorem Proving in Higher Order Logics (TPHOLs'09). (with Berghofer, Nipkow and Wenzel) Volume 5674 of Lecture Notes in @@ -241,7 +241,7 @@ 23rd IEEE Symposium on Logic in Computer Science (LICS 2008), IEEE Computer Society, June 2008. Pages 45-56. [pdf] More - information is elsewhere. + information is elsewhere.

Nominal Inversion Principles. (with Berghofer) In Proceedings of 21st International Conference on Theorem Proving in @@ -509,7 +509,7 @@

- +

- Last modified: Sun Apr 10 20:45:14 BST 2016 + Last modified: Sun Apr 10 20:49:18 BST 2016 [Validate this page.]