# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1358536970 18000
# Node ID fa2eb72446a8d03a3f2c75c2720af2c5446326f2
# Parent  da576746c3ba6b84cce3d61c2c0dddf73821aa56
Pass through Chapter 2

diff -r da576746c3ba -r fa2eb72446a8 src/StackMachine.v
--- 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: