Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-03-13 03:04:00 -0800 (Thu, 13 Mar 2003)
Revision: 4167
Log message:
- Added intro/elim rules for all concepts in itt_grouplikeobj.ml and added
elim rule for subset.
- Changed the organization of itt_grouplikeobj.ml. Now each section reflects
a concept.
- ...