Mercurial > cpdt > repo

diff src/StackMachine.v @ 492:fa2eb72446a8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Pass through Chapter 2
author Adam Chlipala <adam@chlipala.net>
date Fri, 18 Jan 2013 14:22:50 -0500
parents 1fd4109f7b31
children a4b3386ae140
line wrap: on
line diff
--- a/src/StackMachine.v	Fri Jan 18 13:45:00 2013 -0500
+++ b/src/StackMachine.v	Fri Jan 18 14:22:50 2013 -0500
@@ -401,6 +401,12 @@
 
 If we did not already know the name of the theorem, we could use the %\index{Vernacular commands!SearchRewrite}%[SearchRewrite] command to find it, based on a pattern that we would like to rewrite: *)
 
+(* begin hide *)
+(* begin thide *)
+Definition bleh := app_assoc.
+(* end thide *)
+(* end hide *)
+
 SearchRewrite ((_ ++ _) ++ _).
 (** %\vspace{-.15in}%[[
 app_assoc_reverse: