| Wed, 06 Jun 2012 11:25:13 -0400 |
Adam Chlipala |
Get it working in Coq 8.4beta1; use nice coqdoc notation for italics |
| Sun, 06 May 2012 17:15:15 -0400 |
Adam Chlipala |
Instructions on directory-local Coq parameter specification, thanks to a tip from Thomas Braibant |
| Sun, 22 Apr 2012 16:27:46 -0400 |
Adam Chlipala |
New release |
| Sun, 22 Apr 2012 16:25:22 -0400 |
Adam Chlipala |
Citations for lazy data structures, Haskell 'deriving', and logic programming |
| Sun, 22 Apr 2012 15:51:03 -0400 |
Adam Chlipala |
Citations for continuations and unification |
| Sun, 22 Apr 2012 15:38:11 -0400 |
Adam Chlipala |
Define 'certified program' |
| Fri, 20 Apr 2012 12:49:47 -0400 |
Adam Chlipala |
Typo fixes |
| Thu, 12 Apr 2012 18:46:55 -0400 |
Adam Chlipala |
Typo fix |
| Thu, 12 Apr 2012 18:45:48 -0400 |
Adam Chlipala |
New release |
| Thu, 12 Apr 2012 18:41:32 -0400 |
Adam Chlipala |
Comment CpdtTactics.v |
| Thu, 12 Apr 2012 16:27:28 -0400 |
Adam Chlipala |
Baffling unification messages explained |
| Thu, 12 Apr 2012 15:54:37 -0400 |
Adam Chlipala |
A pass over Large |
| 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 |
