| 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 |
| Wed, 01 Oct 2008 09:32:36 -0400 |
Adam Chlipala |
Remove [done] markers after enhancement phase finishes |
| Tue, 30 Sep 2008 17:47:59 -0400 |
Adam Chlipala |
Co-inductive evaluation example |
| Tue, 30 Sep 2008 17:07:57 -0400 |
Adam Chlipala |
Co-equality |
| Tue, 30 Sep 2008 16:17:50 -0400 |
Adam Chlipala |
Start of Coinductive |
