Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-07 01:20:41 -0700 (Wed, 07 May 2003)
Revision: 4571
Log message:
- Added a new option for ls: ``ls "f"'' will list all formal contents of the theory.
- Reordered a few things in ITT slightly for better presentability.