diff src/Coinductive.v @ 450:f28bdd8414e0

Proofreading pass through Chapter 5
author Adam Chlipala <adam@chlipala.net>
date Fri, 17 Aug 2012 15:16:08 -0400
parents 89c67796754e
children 51a8472aca68
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