Mercurial > cpdt > repo

diff src/Match.v @ 437:8077352044b2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
A pass over all formatting, after big pile of coqdoc changes
author Adam Chlipala <adam@chlipala.net>
date Fri, 27 Jul 2012 16:47:28 -0400
parents 85e743564b22
children 0650420c127b
line wrap: on
line diff
--- a/src/Match.v	Fri Jul 27 15:41:06 2012 -0400
+++ b/src/Match.v	Fri Jul 27 16:47:28 2012 -0400
@@ -402,7 +402,9 @@
 (* EX: Write a list map function in Ltac. *)
 
 (* begin hide *)
+(* begin thide *)
 Definition mapp := (map, list).
+(* end thide *)
 (* end hide *)
 
 (** We can also use anonymous function expressions and local function definitions in Ltac, as this example of a standard list [map] function shows. *)