Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-08-04 09:24:11 -0700 (Thu, 04 Aug 2005)
Revision: 7673
Log message:

      Text from last week.
      

Changes	Path
+2 -0	metaprl/theories/ocaml_doc/OMakefile
+1 -1	metaprl/theories/ocaml_doc/book3.tex
+473 -327	metaprl/theories/ocaml_doc/ocaml_doc_mod2.ml
Added	metaprl/theories/ocaml_doc/ocaml_doc_mod3.ml
Properties	metaprl/theories/ocaml_doc/ocaml_doc_mod3.ml
Added	metaprl/theories/ocaml_doc/ocaml_doc_mod3.mli
Properties	metaprl/theories/ocaml_doc/ocaml_doc_mod3.mli
Added	metaprl/theories/ocaml_doc/programs/include.ml
Properties	metaprl/theories/ocaml_doc/programs/include.ml
Added	metaprl/theories/ocaml_doc/programs/set.ml
Properties	metaprl/theories/ocaml_doc/programs/set.ml
Added	metaprl/theories/ocaml_doc/programs/set2.ml
Properties	metaprl/theories/ocaml_doc/programs/set2.ml
Added	metaprl/theories/ocaml_doc/programs/set3.ml
Properties	metaprl/theories/ocaml_doc/programs/set3.ml
Added	metaprl/theories/ocaml_doc/programs/set4.ml
Properties	metaprl/theories/ocaml_doc/programs/set4.ml