Skip to content

C
cpdt
Commit 06e3b688 authored by Adam Chlipala's avatar Adam Chlipala
Browse files
Options

Typo fix

parent 72f8b277
Hide whitespace changes
Inline Side-by-side
Showing with 1 addition and 1 deletion
staging/updates.rss
View file @ 06e3b688
...@@ -16,7 +16,7 @@ ...@@ -16,7 +16,7 @@
<pubDate>Thu, 12 Apr 2012 18:42:46 EDT</pubDate> <pubDate>Thu, 12 Apr 2012 18:42:46 EDT</pubDate>
<link>http://adam.chlipala.net/cpdt/</link> <link>http://adam.chlipala.net/cpdt/</link>
<author>adamc@csail.mit.edu</author> <author>adamc@csail.mit.edu</author>
<description>Stronger theorem at end of "Infinite Data and Proofs" chapter; in "Reasoning About Equality Proofs" chapter, more discussion of axiom avoidance and tactic pitfalls for JMeq; general passes through "Proof Ssearch in Ltac" and "Proving in the Large" chapters; in "Universes and Axioms" chapter, a class of baffling error messages explained; comments added to CpdtTactics.v.</description> <description>Stronger theorem at end of "Infinite Data and Proofs" chapter; in "Reasoning About Equality Proofs" chapter, more discussion of axiom avoidance and tactic pitfalls for JMeq; general passes through "Proof Search in Ltac" and "Proving in the Large" chapters; in "Universes and Axioms" chapter, a class of baffling error messages explained; comments added to CpdtTactics.v.</description>
</item> </item>
<item> <item>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment