Mercurial > cpdt > repo

diff src/LogicProg.v @ 445:0650420c127b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Finished vertical spacing
author Adam Chlipala <adam@chlipala.net>
date Wed, 01 Aug 2012 17:31:56 -0400
parents 8077352044b2
children 9fbf3b4dac29
line wrap: on
line diff
--- a/src/LogicProg.v	Wed Aug 01 17:03:39 2012 -0400
+++ b/src/LogicProg.v	Wed Aug 01 17:31:56 2012 -0400
@@ -946,7 +946,6 @@
     Lemma f_f_f' : forall x, f (f (f x)) = f x.
       intros; autorewrite with core.
       (** [[
-
   ============================
    g (g (g x)) = g x