Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-05-14 20:52:40 -0700 (Fri, 14 May 2004)
Revision: 5778
Log message:
list2 - added standard helpers for length{} like mk_length_term, etc
ring2, ring2_uce - a couple of lemmas about Z