Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-01-10 23:32:54 -0800 (Sat, 10 Jan 2004)
Revision: 5243
Log message:
quotient - quotientElimination2 didn't have subgoal labels
bool - boolMoveToConcl in a little general form
int_ext - boolean equality can be multiplied by non-zero integer
order - some tune-up of intro/elim resources
rat - proved some theorems