Mercurial > cpdt > repo

changeset 450:f28bdd8414e0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proofreading pass through Chapter 5
author Adam Chlipala <adam@chlipala.net>
date Fri, 17 Aug 2012 15:16:08 -0400
parents 79190c225f1a
children 822442bf6d7f
files src/Coinductive.v
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/Coinductive.v	Fri Aug 17 14:50:05 2012 -0400
+++ b/src/Coinductive.v	Fri Aug 17 15:16:08 2012 -0400
@@ -304,7 +304,7 @@
 
 Abort.
 
-(** First, we need to define a function that seems pointless on first glance. *)
+(** First, we need to define a function that seems pointless at first glance. *)
 
 Definition frob A (s : stream A) : stream A :=
   match s with