Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-16 21:36:15 -0700 (Mon, 16 May 2005)
Revision: 7284
Log message:
Added a theory of "vector bindings". I still have to prove couple of theorems
(I only proved the trivial ones so far), and may be add a few more theorems.
Also, I've fixed the display form for conditional rewrites (which was wrong
when # of conditions <> 1).