From: Shriram Krishnamurthi (sk at cs.brown.edu) Date: Mon Apr 23 20:38:17 EDT 2007 |
|
Thanks a lot, Robby. That does the trick locally; I hope it doesn't break some implicit invariant elsewhere in the book.... I do wonder why that affects - but not +. Thanks again, Shriram
Posted on the users mailing list. |
|