Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-21 18:47:46 -0700 (Mon, 21 Apr 2003)
Revision: 4466
Log message:
- Adding the theory and the proofs done in class today
- instead of ``try "member_of", fall back to "equal"'' for (x in T) parsing,
use ``try "equal", fall back to "member"'' strategy
- A different symbol for "times" prl mode display (huge cross, even bigger than "X").
Still ugly, but at least it's less confusing.
- Fixed the df for resources with no args (it used to print an extra space).