Thu, 12 Apr 2012 14:30:53 -0400 |
Adam Chlipala |
A pass through Match |
Thu, 12 Apr 2012 12:11:29 -0400 |
Adam Chlipala |
More discussion of axiom avoidance and tactic pitfalls for JMeq |
Sun, 08 Apr 2012 11:11:27 -0400 |
Adam Chlipala |
Strengthen last theorem of Coinductive |
Tue, 03 Apr 2012 15:10:04 -0400 |
Adam Chlipala |
Conclusion |
Sun, 01 Apr 2012 15:14:44 -0400 |
Adam Chlipala |
Typo fixes |
Sun, 01 Apr 2012 15:02:32 -0400 |
Adam Chlipala |
New chapter: ProgLang |
Thu, 29 Mar 2012 18:10:52 -0400 |
Adam Chlipala |
Get it to build with Coq 8.4 |
Thu, 29 Mar 2012 17:15:14 -0400 |
Adam Chlipala |
Date increment |
Thu, 29 Mar 2012 17:13:23 -0400 |
Adam Chlipala |
Recursing under binders in reification |
Wed, 28 Mar 2012 13:20:50 -0400 |
Adam Chlipala |
One more example of avoiding axioms (getNat) |
Mon, 26 Mar 2012 17:00:34 -0400 |
Adam Chlipala |
New release |
Mon, 26 Mar 2012 16:55:59 -0400 |
Adam Chlipala |
Finish pass over LogicProg; change [crush] to take advantage of new [Hint Rewrite] syntax that uses database [core] by default |