Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-06-20 17:41:38 -0700 (Sun, 20 Jun 1999)
Revision: 2736
Log message:
In "strict" mode rewriter now should correctly restrict free variables
in sequent contexts.
I postponed testing of this code until "strig" flag would be fully implemented.