Mercurial > cpdt > repo
diff src/Match.v @ 437:8077352044b2
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. *)