# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1321446397 0
# Node ID cea9026a022d86e7e4f463f6fd5402e0ca71e5e9
# Parent  160040af338e40b625f2092a93a65c2fa89e56df
added

diff -r 160040af338e -r cea9026a022d publications.html
--- a/publications.html	Thu Nov 03 01:41:20 2011 +0000
+++ b/publications.html	Wed Nov 16 12:26:37 2011 +0000
@@ -130,7 +130,11 @@
       (with Kaliszyk) In Proceedings of the ACM Symposium on Applied
       Computing (SAC 2011), Software Verification and Testing track,
       Pages 1639-1644.
-      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/sac-11.pdf">pdf</A>]
+      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/sac-11.pdf">pdf</A>]<BR><BR>
+
+      (We silently assume in this paper to only lift from types that have
+       covariant type-constructors. Many thanks to Ond&#345;ej Kun&#269;ar,
+       who pointed this out.)		    
 </TD>
 </TR>
 
@@ -445,7 +449,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Thu Nov  3 01:37:01 GMT 2011
+Last modified: Wed Nov 16 12:25:55 GMT 2011
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>