Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-13 14:10:26 -0800 (Fri, 13 Feb 1998)
Revision: 2087
Log message:

      Adding pattern semantics.
      

Changes	Path
+104 -122	metaprl/theories/ocaml/ocaml_expr_sos.ml
+101 -2	metaprl/theories/ocaml/ocaml_patt_sos.ml