Pass through Chapter 4

02beda15 · Adam Chlipala · 1aa39456 · 02beda15 · 02beda15
Commit 02beda15 authored Sep 19, 2011 by Adam Chlipala
Expand all Hide whitespace changes
Inline Side-by-side

Showing with 186 additions and 78 deletions

Predicates.v src/Predicates.v +179 -78

updates.rss staging/updates.rss +7 -0

No files found.
--- a/src/Predicates.v
+++ b/src/Predicates.v
--- a/staging/updates.rss
+++ b/staging/updates.rss
@@ -11,6 +11,13 @@
 <webMaster>adam@chlipala.net</webMaster>
 <docs>http://blogs.law.harvard.edu/tech/rss</docs>

+<item>
+        <title>A pass through Chapter 4</title>
+        <pubDate>Mon, 19 Sep 2011 14:03:40 EDT</pubDate>
+        <link>http://adam.chlipala.net/cpdt/</link>
+        <author>adamc@csail.mit.edu</author>
+</item>
+
 <item>
        <title>Added a public Mercurial repository with the book source</title>
        <pubDate>Wed, 14 Sep 2011 14:01:23 EDT</pubDate>