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