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

      Added a title page and table of contents.
      
      We should try to get security to open the lab...
      

Changes  Path
+9 -0 metaprl/doc/latex/theories/book2.tex
Added metaprl/doc/latex/theories/ocaml_doc/metaprl.bib
Properties metaprl/doc/latex/theories/ocaml_doc/metaprl.bib
+4 -3 metaprl/theories/ocaml_doc/ocaml_doc_expr1.ml