Changes by: Alexei Kopylov (kopylov at cs.caltech.edu) Date: 2005-01-28 18:06:45 -0800 (Fri, 28 Jan 2005) Revision: 6523 Log message:
Add is_eq for variables