Changes by: Alexei Kopylov (kopylov at cs.caltech.edu) Date: 1999-05-21 16:34:22 -0700 (Fri, 21 May 1999) Revision: 2665 Log message:
Added: cd theory;; load theory;; <<it>> produces an error