Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-15 20:34:36 -0700 (Thu, 15 Jul 2004)
Revision: 6097
Log message:
- Cleaned up the handling of bterms in term grammar. The annoying cases
where one had to put a "." at a beginnig of a subterm are now ***gone***!
- Updated most of the files in theories/itt (and a few outside of the itt)
removing periods from these places since they now can be omited.
- Updated the BUGS file.