Mercurial > cpdt > repo
diff src/Equality.v @ 475:1fd4109f7b31
Batch of changes based on proofreader feedback
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Mon, 22 Oct 2012 14:23:52 -0400 |
parents | 4320c1a967c2 |
children | 40a9a36844d6 |
line wrap: on
line diff
--- a/src/Equality.v Mon Oct 22 13:48:45 2012 -0400 +++ b/src/Equality.v Mon Oct 22 14:23:52 2012 -0400 @@ -180,7 +180,7 @@ (** * Heterogeneous Lists Revisited *) -(** One of our example dependent data structures from the last chapter was heterogeneous lists and their associated "cursor" type. The recursive version poses some special challenges related to equality proofs, since it uses such proofs in its definition of [fmember] types. *) +(** One of our example dependent data structures from the last chapter was the heterogeneous list and its associated "cursor" type. The recursive version poses some special challenges related to equality proofs, since it uses such proofs in its definition of [fmember] types. *) Section fhlist. Variable A : Type.