Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-07 00:42:49 -0700 (Wed, 07 May 2003)
Revision: 4570
Log message:
- Sequent args are now parsed int a term with a "sequent_arg" opname,
not an xlist term
- Restored the code for "dfrom_depth" debugging
- Fixed an unballanced display form for ifthenelse in Ocaml_expr_df