Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-08-13 21:28:07 -0700 (Sun, 13 Aug 2000)
Revision: 3047
Log message:
I changed the unhide rules according to hide{A} = squash{A} semantics.
Alexei, can you take a look at my changes and see if you agree with them?
Also, do we need more elimination rules for union and more introduction rules
for intersection?