Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-08-18 13:10:07 -0700 (Mon, 18 Aug 2003)
Revision: 4846
Log message:
Replaced subterm_count with subterm_addresses (which is more sequent-friendly).
Surprizingly, this did not eliminate the breakage that Jason's recent sequents-related
commit have introduced (see "status update" message from Aug 14).