Mercurial > cpdt > repo
diff src/Coinductive.v @ 302:7b38729be069
Tweak mark-up to support coqdoc 8.3
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Mon, 17 Jan 2011 15:12:30 -0500 |
parents | 2c88fc1dbe33 |
children | d5787b70cf48 |
line wrap: on
line diff
--- a/src/Coinductive.v Mon Jan 17 11:42:09 2011 -0500 +++ b/src/Coinductive.v Mon Jan 17 15:12:30 2011 -0500 @@ -77,7 +77,8 @@ (** %\vspace{-.15in}% [[ = 0 :: 0 :: 0 :: 0 :: 0 :: 0 :: 0 :: 0 :: 0 :: 0 :: nil : list nat - ]] *) + ]] + *) Eval simpl in approx trues 10. (** %\vspace{-.15in}% [[ @@ -324,7 +325,8 @@ (** [[ Guarded. - ]] *) + ]] + *) Abort. (* end thide *)