Mercurial > cpdt > repo

comparison src/MoreDep.v @ 103:22f111d5cda2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix red-black section heading
author Adam Chlipala <adamc@hcoop.net>
date Wed, 08 Oct 2008 14:22:47 -0400
parents d829cc24faee
children cbf2f74a5130
comparison
equal deleted inserted replaced
102:d829cc24faee 103:22f111d5cda2
360 end; crush). 360 end; crush).
361 Qed. 361 Qed.
362 (* end thide *) 362 (* end thide *)
363 363
364 364
365 (** Dependently-Typed Red-Black Trees *) 365 (** * Dependently-Typed Red-Black Trees *)
366 366
367 (** TODO: Add commentary for this section. *) 367 (** TODO: Add commentary for this section. *)
368 368
369 Inductive color : Set := Red | Black. 369 Inductive color : Set := Red | Black.
370 370