Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2005-03-15 20:00:15 -0800 (Tue, 15 Mar 2005)
Revision: 6939
Log message:
Finished the value judgment except for the existential extension. It doesn't
use the parser at the moment. I can fix that tomorrow once I've asked some
questions. Everything seems to work for the test cases I've tried, but that's
no guarantee, of course. ;^)