Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-03-06 17:01:33 -0800 (Tue, 06 Mar 2001)
Revision: 3175
Log message:
Turned Itt_struct.hypothesis, Itt_unit.unit_squashElimination and
Itt_void.void_squashElimination into "interactive" from "prim".
Documented additional work that needs to be done to make squashT implementation
more sensible.