Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-06-09 22:38:14 -0700 (Sun, 09 Jun 2002)
Revision: 3707
Log message:
Since OCaml now has its own "include" keyword (which is similar to MetaPRL's one,
but still different), I am replacing MetaPRL "include" keyword with an "extends".
Hopefully, I've catched all the places in documentation and comments where it
needed to be changed (except for tuturial screenshots :-( )...