Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-04-21 11:41:48 -0700 (Wed, 21 Apr 2004)
Revision: 5689
Log message:
- Another minor change in resource annotations (subset intro is now
AutoMustComplete)
- Fixed the itt_cyclic_group.prla file that somehow got corrupted.
- Proved a bit more in itt_subset2.