Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-30 00:30:50 -0700 (Fri, 30 May 2003)
Revision: 4634
Log message:
Made the typing rules for "and" stronger. For A/\B to be a type, B has to be
a type only when A is true.