Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-11-18 19:42:48 -0800 (Sun, 18 Nov 2001)
Revision: 3447
Log message:
- More term operations added.
- mc_term_op_ds now contains some local functions for
(de)constructing terms with 4+ subterms.