Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-07-09 13:57:19 -0700 (Mon, 09 Jul 2001)
Revision: 3324
Log message:

      Numerous display form updates.
      

Changes	Path
+3 -0	metaprl/filter/base/filter_ocaml.ml
+1 -4	metaprl/theories/itt/itt_bool.ml
+7 -9	metaprl/theories/itt/itt_comment.ml
+9 -2	metaprl/theories/ocaml/ocaml.mlz
+2 -2	metaprl/theories/ocaml/ocaml_base_df.ml
+2 -2	metaprl/theories/ocaml/ocaml_base_df.mli
+22 -25	metaprl/theories/ocaml/ocaml_expr_df.ml
+7 -7	metaprl/theories/ocaml/ocaml_patt_df.ml
+4 -4	metaprl/theories/ocaml/ocaml_str_df.ml
+2 -4	metaprl/theories/ocaml/ocaml_type_df.ml
+3 -4	metaprl/theories/sil/sil_state.ml
+28 -4	metaprl/theories/tactic/base_dform.ml
+8 -5	metaprl/theories/tactic/base_dform.mli
+14 -33	metaprl/theories/tactic/summary.ml