Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-06 20:48:48 -0800 (Sun, 06 Feb 2005)
Revision: 6613
Log message:

      OCaml code uses ocons/onil, not xcons/xnil.
      This fixes the ocaml display I believe.
      

Changes	Path
+144 -109	metaprl-branches/opname_classes4/filter/base/filter_ocaml.ml
+1 -1	metaprl-branches/opname_classes4/support/display/ocaml_base_df.mli
+25 -3	metaprl-branches/opname_classes4/support/display/ocaml_expr_df.ml
+16 -16	metaprl-branches/opname_classes4/support/display/ocaml_patt_df.ml
+2 -1	metaprl-branches/opname_classes4/theories/itt/itt_collection.ml