Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-02-21 05:58:17 -0800 (Wed, 21 Feb 2001)
Revision: 3151
Log message:
1.Display forms taken from old itt_int
2.meta-evaluation on constants taken from old itt_int
3.Some proofs added, "terrible" elim-rule fixed once again