Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-06-03 10:31:07 -0700 (Fri, 03 Jun 2005)
Revision: 7348
Log message:

      Added some initial text on splay trees.
      

Changes	Path
+6 -0	metaprl/support/display/comment.ml
+4 -0	metaprl/support/display/comment.mli
+61 -11	metaprl/theories/ocaml_doc/ocaml_doc_expr4.ml
Binary	metaprl/theories/ocaml_doc/rotate.eps
Properties	metaprl/theories/ocaml_doc/rotate.eps
Binary	metaprl/theories/ocaml_doc/splay1.eps
Properties	metaprl/theories/ocaml_doc/splay1.eps
Binary	metaprl/theories/ocaml_doc/splay2.eps
Properties	metaprl/theories/ocaml_doc/splay2.eps
Binary	metaprl/theories/ocaml_doc/splay3.eps
Properties	metaprl/theories/ocaml_doc/splay3.eps
Binary	metaprl/theories/ocaml_doc/splay4.eps
Properties	metaprl/theories/ocaml_doc/splay4.eps