Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-09-17 14:16:32 -0700 (Sat, 17 Sep 2005)
Revision: 7714
Log message:

      More text for the book.
      Aleksey, don't worry if this doesn't make it into the conversion.
      I can copy them over afterwards.
      

Changes  Path
+387 -677 metaprl/theories/ocaml_doc/ocaml_doc_class1.ml
Added metaprl/theories/ocaml_doc/programs/rng1.ml
Properties metaprl/theories/ocaml_doc/programs/rng1.ml
Added metaprl/theories/ocaml_doc/programs/rng10.ml
Properties metaprl/theories/ocaml_doc/programs/rng10.ml
Added metaprl/theories/ocaml_doc/programs/rng11.ml
Properties metaprl/theories/ocaml_doc/programs/rng11.ml
Added metaprl/theories/ocaml_doc/programs/rng2.ml
Properties metaprl/theories/ocaml_doc/programs/rng2.ml
Added metaprl/theories/ocaml_doc/programs/rng3.ml
Properties metaprl/theories/ocaml_doc/programs/rng3.ml
Added metaprl/theories/ocaml_doc/programs/rng4.ml
Properties metaprl/theories/ocaml_doc/programs/rng4.ml
Added metaprl/theories/ocaml_doc/programs/rng5.ml
Properties metaprl/theories/ocaml_doc/programs/rng5.ml
Added metaprl/theories/ocaml_doc/programs/rng6.ml
Properties metaprl/theories/ocaml_doc/programs/rng6.ml
Added metaprl/theories/ocaml_doc/programs/rng7.ml
Properties metaprl/theories/ocaml_doc/programs/rng7.ml
Added metaprl/theories/ocaml_doc/programs/rng8.ml
Properties metaprl/theories/ocaml_doc/programs/rng8.ml
Added metaprl/theories/ocaml_doc/programs/rng9.ml
Properties metaprl/theories/ocaml_doc/programs/rng9.ml