Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-08-23 16:31:14 -0700 (Wed, 23 Aug 2006)
Revision: 9526
Log message:
Added TermOp.mk_string_dep0_dep0_dep0_term
| Changes | Path |
| +5 -0 | metaprl/refiner/refiner/refiner_debug.ml |
| +4 -3 | metaprl/refiner/refsig/term_op_sig.ml |
| +5 -0 | metaprl/refiner/term_ds/term_op_ds.ml |
| +5 -0 | metaprl/refiner/term_std/term_op_std.ml |