| 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 13:16:12 -0500 |
Adam Chlipala |
PC changes to Equality and Generic |
| Fri, 13 Nov 2009 12:03:08 -0500 |
Adam Chlipala |
Port Generic |
| Wed, 11 Nov 2009 14:28:47 -0500 |
Adam Chlipala |
Switch DepList to inductive, not recursive, types |
| Wed, 11 Nov 2009 14:00:04 -0500 |
Adam Chlipala |
Port DataStruct |
| Fri, 28 Nov 2008 14:21:38 -0500 |
Adam Chlipala |
Templatize Generic |
| Fri, 28 Nov 2008 14:10:23 -0500 |
Adam Chlipala |
map_id |
| Fri, 28 Nov 2008 13:38:34 -0500 |
Adam Chlipala |
size_positive |
| Fri, 28 Nov 2008 11:42:07 -0500 |
Adam Chlipala |
Pretty-printing |
| Fri, 28 Nov 2008 11:21:01 -0500 |
Adam Chlipala |
Generic size examples |
| Fri, 28 Nov 2008 09:55:56 -0500 |
Adam Chlipala |
Start of Generic |
