| Thu, 03 Nov 2011 17:04:41 -0400 |
Adam Chlipala |
Explicit note about primitive recursion restriction, early on |
| Wed, 02 Nov 2011 17:03:25 -0400 |
Adam Chlipala |
Template tweaks |
| Wed, 02 Nov 2011 16:22:41 -0400 |
Adam Chlipala |
New subsection on Ltac reification |
| Wed, 02 Nov 2011 14:48:25 -0400 |
Adam Chlipala |
Pass through old content of Reflection |
| Tue, 01 Nov 2011 12:34:00 -0400 |
Adam Chlipala |
Tweak Generic templating |
| Mon, 31 Oct 2011 14:24:16 -0400 |
Adam Chlipala |
Pass over Generic |
| 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 |
| Tue, 25 Oct 2011 10:56:00 -0400 |
Adam Chlipala |
Fix template |
| Tue, 25 Oct 2011 10:51:31 -0400 |
Adam Chlipala |
Typo fix in template comment |
| Sun, 23 Oct 2011 14:48:52 -0400 |
Adam Chlipala |
Finished pass over Coinductive |
| Sun, 23 Oct 2011 13:33:46 -0400 |
Adam Chlipala |
Pass through Coinductive up to PL example |
| Wed, 19 Oct 2011 10:00:07 -0400 |
Adam Chlipala |
One more axiom avoidance example |
| Mon, 17 Oct 2011 14:56:46 -0400 |
Adam Chlipala |
New section on avoiding axioms |
| Mon, 17 Oct 2011 11:09:23 -0400 |
Adam Chlipala |
Pass over Universes |
| Sun, 16 Oct 2011 10:46:15 -0400 |
Adam Chlipala |
Pass through DataStruct |
| Sun, 16 Oct 2011 08:54:36 -0400 |
Adam Chlipala |
Typo fix |
| Thu, 13 Oct 2011 10:24:39 -0400 |
Adam Chlipala |
More coqdoc bug workarounds |
| Mon, 10 Oct 2011 16:12:04 -0400 |
Adam Chlipala |
Work around coqdoc bug |
| Mon, 10 Oct 2011 16:01:31 -0400 |
Adam Chlipala |
Pass over MoreDep |
| Thu, 06 Oct 2011 12:04:55 -0400 |
Adam Chlipala |
Hide some more Subset code in template |
| Wed, 05 Oct 2011 11:33:30 -0400 |
Adam Chlipala |
New release |
| Wed, 05 Oct 2011 11:32:13 -0400 |
Adam Chlipala |
Pass over Subset |
| Tue, 04 Oct 2011 13:38:21 -0400 |
Adam Chlipala |
Change some template annotations |
