Mercurial > cpdt > repo

diff src/GeneralRec.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 5f25705a10ea
children cbfd23b4364d
line wrap: on
line diff
--- a/src/GeneralRec.v	Fri Jul 27 15:41:06 2012 -0400
+++ b/src/GeneralRec.v	Fri Jul 27 16:47:28 2012 -0400
@@ -93,7 +93,9 @@
 The bulk of the definitional work devolves to the%\index{accessibility relation}\index{Gallina terms!Acc}% _accessibility_ relation [Acc], whose definition we may also examine. *)
 
 (* begin hide *)
+(* begin thide *)
 Definition Acc_intro' := Acc_intro.
+(* end thide *)
 (* end hide *)
 
   Print Acc.
@@ -752,7 +754,9 @@
   (TBind m1 (fun x => m2)) (right associativity, at level 70).
 
 (* begin hide *)
+(* begin thide *)
 Definition fib := pred.
+(* end thide *)
 (* end hide *)
 
 (** %\vspace{-.15in}%[[