| Fri, 28 Oct 2011 15:38:41 -0400 |
Adam Chlipala |
Prose for domain-theoretic approach |
| 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 |
| 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 |
| Mon, 10 Oct 2011 16:01:31 -0400 |
Adam Chlipala |
Pass over MoreDep |
| Sun, 25 Sep 2011 13:20:56 -0400 |
Adam Chlipala |
Pass over Match |
| Mon, 12 Sep 2011 11:21:27 -0400 |
Adam Chlipala |
Finished pass over InductiveTypes |
| Sun, 11 Sep 2011 17:22:36 -0400 |
Adam Chlipala |
Pass through InductiveTypes, through end of reflexive types |
| Sun, 11 Sep 2011 16:26:48 -0400 |
Adam Chlipala |
Pass through InductiveTypes, through end of recursive types |
| Thu, 01 Sep 2011 11:32:15 -0400 |
Adam Chlipala |
Pass through second half of StackMachine |
| Mon, 29 Aug 2011 15:31:06 -0400 |
Adam Chlipala |
Pass through first half of StackMachine, along with some reorganization of the build process |
| Mon, 29 Aug 2011 09:47:39 -0400 |
Adam Chlipala |
Fix .hgignore and check in .bib |
