Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2001-07-06 14:48:58 -0700 (Fri, 06 Jul 2001)
Revision: 3319
Log message:
- Changed intro rule for the set type according to Alexey's beter_itt.
- Proved that sets can be defined as dependend intersection.