Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2001-08-06 09:25:57 -0700 (Mon, 06 Aug 2001)
Revision: 3362
Log message:

      Added the OCaml book I wrote December 2000.  Still needs some work
      on typos etc.
      

Changes	Path
Properties	metaprl/theories/ocaml_doc
Added	metaprl/theories/ocaml_doc/Makefile
Properties	metaprl/theories/ocaml_doc/Makefile
Added	metaprl/theories/ocaml_doc/fset.ml
Properties	metaprl/theories/ocaml_doc/fset.ml
Added	metaprl/theories/ocaml_doc/fset.mli
Properties	metaprl/theories/ocaml_doc/fset.mli
Added	metaprl/theories/ocaml_doc/fset2.ml
Properties	metaprl/theories/ocaml_doc/fset2.ml
Added	metaprl/theories/ocaml_doc/ocaml_doc_class1.ml
Properties	metaprl/theories/ocaml_doc/ocaml_doc_class1.ml
Added	metaprl/theories/ocaml_doc/ocaml_doc_class1.mli
Properties	metaprl/theories/ocaml_doc/ocaml_doc_class1.mli
Added	metaprl/theories/ocaml_doc/ocaml_doc_exn1.ml
Properties	metaprl/theories/ocaml_doc/ocaml_doc_exn1.ml
Added	metaprl/theories/ocaml_doc/ocaml_doc_exn1.mli
Properties	metaprl/theories/ocaml_doc/ocaml_doc_exn1.mli
Added	metaprl/theories/ocaml_doc/ocaml_doc_expr1.ml
Properties	metaprl/theories/ocaml_doc/ocaml_doc_expr1.ml
Added	metaprl/theories/ocaml_doc/ocaml_doc_expr1.mli
Properties	metaprl/theories/ocaml_doc/ocaml_doc_expr1.mli
Added	metaprl/theories/ocaml_doc/ocaml_doc_expr2.ml
Properties	metaprl/theories/ocaml_doc/ocaml_doc_expr2.ml
Added	metaprl/theories/ocaml_doc/ocaml_doc_expr2.mli
Properties	metaprl/theories/ocaml_doc/ocaml_doc_expr2.mli
Added	metaprl/theories/ocaml_doc/ocaml_doc_expr3.ml
Properties	metaprl/theories/ocaml_doc/ocaml_doc_expr3.ml
Added	metaprl/theories/ocaml_doc/ocaml_doc_expr3.mli
Properties	metaprl/theories/ocaml_doc/ocaml_doc_expr3.mli
Added	metaprl/theories/ocaml_doc/ocaml_doc_expr4.ml
Properties	metaprl/theories/ocaml_doc/ocaml_doc_expr4.ml
Added	metaprl/theories/ocaml_doc/ocaml_doc_expr4.mli
Properties	metaprl/theories/ocaml_doc/ocaml_doc_expr4.mli
Added	metaprl/theories/ocaml_doc/ocaml_doc_intro.ml
Properties	metaprl/theories/ocaml_doc/ocaml_doc_intro.ml
Added	metaprl/theories/ocaml_doc/ocaml_doc_intro.mli
Properties	metaprl/theories/ocaml_doc/ocaml_doc_intro.mli
Added	metaprl/theories/ocaml_doc/ocaml_doc_io1.ml
Properties	metaprl/theories/ocaml_doc/ocaml_doc_io1.ml
Added	metaprl/theories/ocaml_doc/ocaml_doc_io1.mli
Properties	metaprl/theories/ocaml_doc/ocaml_doc_io1.mli
Added	metaprl/theories/ocaml_doc/ocaml_doc_mod1.ml
Properties	metaprl/theories/ocaml_doc/ocaml_doc_mod1.ml
Added	metaprl/theories/ocaml_doc/ocaml_doc_mod1.mli
Properties	metaprl/theories/ocaml_doc/ocaml_doc_mod1.mli
Added	metaprl/theories/ocaml_doc/ocaml_doc_mod2.ml
Properties	metaprl/theories/ocaml_doc/ocaml_doc_mod2.ml
Added	metaprl/theories/ocaml_doc/ocaml_doc_mod2.mli
Properties	metaprl/theories/ocaml_doc/ocaml_doc_mod2.mli
Added	metaprl/theories/ocaml_doc/ocaml_doc_name1.ml
Properties	metaprl/theories/ocaml_doc/ocaml_doc_name1.ml
Added	metaprl/theories/ocaml_doc/ocaml_doc_patt1.ml
Properties	metaprl/theories/ocaml_doc/ocaml_doc_patt1.ml
Added	metaprl/theories/ocaml_doc/ocaml_doc_patt1.mli
Properties	metaprl/theories/ocaml_doc/ocaml_doc_patt1.mli
Added	metaprl/theories/ocaml_doc/ocaml_doc_type1.ml
Properties	metaprl/theories/ocaml_doc/ocaml_doc_type1.ml
Added	metaprl/theories/ocaml_doc/ocaml_doc_var1.ml
Properties	metaprl/theories/ocaml_doc/ocaml_doc_var1.ml
Added	metaprl/theories/ocaml_doc/ocaml_doc_var1.mli
Properties	metaprl/theories/ocaml_doc/ocaml_doc_var1.mli
Added	metaprl/theories/ocaml_doc/test.ml
Properties	metaprl/theories/ocaml_doc/test.ml