Finished pass over Coinductive

latex/cpdt.bib

@@ -252,3 +252,10 @@
   number =	 "0221",
   institution =	 "INRIA",
 }
+
+@inproceedings{BigStep,
+ author = {Xavier Leroy and Herv\'e Grall},
+ title = {Coinductive big-step operational semantics},
+ year = {2006},
+ booktitle = {Proceedings of the 15th European Symposium on Programming}
+}

staging/updates.rss

@@ -11,6 +11,14 @@
 <webMaster>adam@chlipala.net</webMaster>
 <docs>http://blogs.law.harvard.edu/tech/rss</docs>
 
+<item>
+        <title>A pass through "Infinite Data and Proofs"</title>
+        <pubDate>Sun, 23 Oct 2011 14:47:55 EDT</pubDate>
+        <link>http://adam.chlipala.net/cpdt/</link>
+        <author>adamc@csail.mit.edu</author>
+	<description>I've added new discussion of co-induction principles and replaced the programming language semantics example.</description>
+</item>
+
 <item>
         <title>A pass through "Universes and Axioms"</title>
         <pubDate>Wed, 19 Oct 2011 09:58:57 EDT</pubDate>