Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2002-09-03 17:49:49 -0700 (Tue, 03 Sep 2002)
Revision: 3842
Log message:

      Updates through Chapter 4.
      

Changes	Path
+6 -1	metaprl/doc/latex/theories/book2.tex
Added	metaprl/doc/latex/theories/ocaml_doc/README
Properties	metaprl/doc/latex/theories/ocaml_doc/README
+33 -31	metaprl/theories/ocaml_doc/ocaml_doc_expr1.ml
+38 -39	metaprl/theories/ocaml_doc/ocaml_doc_expr2.ml
+56 -30	metaprl/theories/ocaml_doc/ocaml_doc_patt1.ml
+77 -67	metaprl/theories/ocaml_doc/ocaml_doc_var1.ml
+6 -0	metaprl/theories/tactic/nuprl_font.ml
+1 -0	metaprl/theories/tactic/nuprl_font.mli