| Wed, 10 Nov 2010 16:34:46 -0500 |
Adam Chlipala |
New release |
| Wed, 10 Nov 2010 16:31:04 -0500 |
Adam Chlipala |
A pass of double-quotes and LaTeX operator beautification |
| Wed, 10 Nov 2010 15:42:05 -0500 |
Adam Chlipala |
PC comments for DeBruijn |
| Wed, 10 Nov 2010 15:37:01 -0500 |
Adam Chlipala |
PC comments for FirstOrder |
| Wed, 10 Nov 2010 15:00:37 -0500 |
Adam Chlipala |
PC comments on Reflection and Large |
| Wed, 10 Nov 2010 14:46:27 -0500 |
Adam Chlipala |
PC comments for Match |
| Wed, 10 Nov 2010 14:05:00 -0500 |
Adam Chlipala |
PC-inspired Universes tweaks |
| Wed, 10 Nov 2010 13:16:12 -0500 |
Adam Chlipala |
PC changes to Equality and Generic |
| Wed, 10 Nov 2010 07:56:30 -0500 |
Adam Chlipala |
Typo fix |
| Fri, 05 Nov 2010 13:48:39 -0400 |
Adam Chlipala |
PC comments for DataStruct |
| Fri, 05 Nov 2010 11:36:36 -0400 |
Adam Chlipala |
PC comments for MoreDep |
| Fri, 05 Nov 2010 10:35:56 -0400 |
Adam Chlipala |
Subset suggestions from PC; improvements to build process for coqdoc fontification |
| Fri, 15 Oct 2010 09:50:34 -0400 |
Adam Chlipala |
PC's Chapter 5 comments |
| Tue, 12 Oct 2010 09:30:17 -0400 |
Adam Chlipala |
PC's Chapter 4 comments |
| Fri, 01 Oct 2010 14:19:20 -0400 |
Adam Chlipala |
Incorporate PC's comments on InductiveTypes |
