Thu, 29 Mar 2012 18:10:52 -0400 |
Adam Chlipala |
Get it to build with Coq 8.4 |
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 |
Fri, 28 Oct 2011 18:26:16 -0400 |
Adam Chlipala |
New release |
Fri, 28 Oct 2011 17:43:53 -0400 |
Adam Chlipala |
First draft of full prose for GeneralRec |
Fri, 28 Oct 2011 15:38:41 -0400 |
Adam Chlipala |
Prose for domain-theoretic approach |
Wed, 26 Oct 2011 18:37:47 -0400 |
Adam Chlipala |
Co-inductive non-termination monads |
Wed, 26 Oct 2011 17:14:28 -0400 |
Adam Chlipala |
Move GeneralRec one chapter slot later, since Subset should be a prereq |
Wed, 26 Oct 2011 16:57:11 -0400 |
Adam Chlipala |
Non-termination monad |
Wed, 26 Oct 2011 15:12:21 -0400 |
Adam Chlipala |
Well-founded recursion |
Wed, 26 Oct 2011 11:19:52 -0400 |
Adam Chlipala |
Stub out new chapter |