# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1328027376 0
# Node ID bfc81cc2b37e1ba227ef0a04b669beb330dda2cd
# Parent  6b0db3d2b840dd69c5438c629bdb7d8474ebbde2
tuned

diff -r 6b0db3d2b840 -r bfc81cc2b37e publications.html
--- a/publications.html	Tue Jan 31 16:28:53 2012 +0000
+++ b/publications.html	Tue Jan 31 16:29:36 2012 +0000
@@ -132,7 +132,7 @@
       (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. John Wickerson pointed out a typo in Definition 2 and one in the
-       Apendix, which are corrected in the version above. Thanks!)		    
+       Appendix, which are corrected in the version above. Thanks!)		    
 
 <p><B>Mechanizing the Metatheory of Mini-XQuery.</B> (with Cheney) 
      In Proceedings of the 1st Conference on Certified Programs and Proofs (CPP 2011).
@@ -454,7 +454,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Tue Jan 31 16:28:35 GMT 2012
+Last modified: Tue Jan 31 16:29:34 GMT 2012
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>