Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-09-22 15:20:21 -0700 (Thu, 22 Sep 2005)
Revision: 7778
Log message:

      Partial work on inheritance.
      

Changes  Path
+3 -0 metaprl/theories/ocaml_doc/OMakefile
+17 -2 metaprl/theories/ocaml_doc/ocaml_doc_class1.ml
Added metaprl/theories/ocaml_doc/ocaml_doc_class2.ml
Properties metaprl/theories/ocaml_doc/ocaml_doc_class2.ml
Added metaprl/theories/ocaml_doc/ocaml_doc_class2.mli
Properties metaprl/theories/ocaml_doc/ocaml_doc_class2.mli
Added metaprl/theories/ocaml_doc/ocaml_doc_comment.ml
Properties metaprl/theories/ocaml_doc/ocaml_doc_comment.ml
Added metaprl/theories/ocaml_doc/ocaml_doc_comment.mli
Properties metaprl/theories/ocaml_doc/ocaml_doc_comment.mli
Added metaprl/theories/ocaml_doc/programs/example.ml
Properties metaprl/theories/ocaml_doc/programs/example.ml
Added metaprl/theories/ocaml_doc/programs/example1.ml
Properties metaprl/theories/ocaml_doc/programs/example1.ml
Added metaprl/theories/ocaml_doc/programs/example2.ml
Properties metaprl/theories/ocaml_doc/programs/example2.ml
Added metaprl/theories/ocaml_doc/programs/rng12.ml
Properties metaprl/theories/ocaml_doc/programs/rng12.ml
Added metaprl/theories/ocaml_doc/programs/rng13.ml
Properties metaprl/theories/ocaml_doc/programs/rng13.ml
Added metaprl/theories/ocaml_doc/programs/rng14.ml
Properties metaprl/theories/ocaml_doc/programs/rng14.ml