Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-01-23 18:09:24 -0800 (Thu, 23 Jan 2003)
Revision: 4013
Log message:
Got rid of separate contractum functions in rewriter (contractum functionality
is now only available as a part of the combined rewrite functionality).