changeset 103:22f111d5cda2

Fix red-black section heading
author Adam Chlipala <adamc@hcoop.net>
date Wed, 08 Oct 2008 14:22:47 -0400
parents d829cc24faee
children 32a5ad6e2bb0
files src/MoreDep.v
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/MoreDep.v	Wed Oct 08 14:18:35 2008 -0400
+++ b/src/MoreDep.v	Wed Oct 08 14:22:47 2008 -0400
@@ -362,7 +362,7 @@
 (* end thide *)
 
 
-(** Dependently-Typed Red-Black Trees *)
+(** * Dependently-Typed Red-Black Trees *)
 
 (** TODO: Add commentary for this section. *)