Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2003-03-17 17:33:08 -0800 (Mon, 17 Mar 2003)
Revision: 4176
Log message:
I commit my current status of definition of red-black trees.
This work in progress, everything subject to change.
I'll commit prla files later.
itt_relation_str defines algebraic structure for ordered sets, sets with decidable equality
itt_set_str defines data structure for sets.
Also change some display forms.