Sun, 23 Oct 2011 13:33:46 -0400 |
Adam Chlipala |
Pass through Coinductive up to PL example |
Wed, 07 Sep 2011 13:47:24 -0400 |
Adam Chlipala |
Rename Tactics; change 'principal typing' to 'principal types' |
Mon, 17 Jan 2011 15:12:30 -0500 |
Adam Chlipala |
Tweak mark-up to support coqdoc 8.3 |
Wed, 10 Nov 2010 16:31:04 -0500 |
Adam Chlipala |
A pass of double-quotes and LaTeX operator beautification |
Fri, 15 Oct 2010 09:50:34 -0400 |
Adam Chlipala |
PC's Chapter 5 comments |
Wed, 11 Nov 2009 10:27:47 -0500 |
Adam Chlipala |
Start of MoreDep port; new [dep_destruct] based on [dependent destruction] |
Mon, 09 Nov 2009 14:48:46 -0500 |
Adam Chlipala |
Ported Coinductive |
Fri, 06 Nov 2009 12:15:05 -0500 |
Adam Chlipala |
'make doc' works with 8.2 |
Sat, 03 Jan 2009 19:57:02 -0500 |
Adam Chlipala |
Feedback from Peter Gammie |
Fri, 02 Jan 2009 08:57:25 -0500 |
Adam Chlipala |
Small fixes while reading student solutions |
Sun, 12 Oct 2008 08:44:23 -0400 |
Adam Chlipala |
s/stream/tree |
Tue, 07 Oct 2008 10:43:54 -0400 |
Adam Chlipala |
Get Coinductive compiling again |
Sun, 05 Oct 2008 11:34:09 -0400 |
Adam Chlipala |
Coinductive exercise description |
Wed, 01 Oct 2008 10:07:14 -0400 |
Adam Chlipala |
Template markers for Coinductive |
Wed, 01 Oct 2008 09:56:32 -0400 |
Adam Chlipala |
Finish Coinductive chapter |