Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-06-17 21:51:42 -0700 (Thu, 17 Jun 1999)
Revision: 2732
Log message:
Added support for ASCII-based term IO. I tested the code a lot and it seems working,
but it is not integrated into the system yet. And simple_name_* functions need to be
improved if we want ASCII theory files to be at least sligtly readable.