Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-09-19 23:05:14 -0700 (Sun, 19 Sep 2004)
Revision: 6201
Log message:
Turned out we never checked arity (and context bindings!) of sequent contexts ---
should be fixed now.