Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 1998-08-24 15:27:19 -0700 (Mon, 24 Aug 1998) Revision: 2446 Log message:
Added "exists x . (x = y)" example.