Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2001-06-17 14:41:29 -0700 (Sun, 17 Jun 2001)
Revision: 3274
Log message:
- Added tacticals whileProgressMT and untilFailMT
- Implemented dependend records
- Change a rule for depended intersection