[SCL] SCL 1.02

[Chris Menzel]

I've put a draft of SCL version 1.02 on the web:

  http://cl.tamu.edu/docs/scl/scl-latest.html

Sorry for the delay; the section on SCL and traditional first-order
logic kept getting more and more interesting, and I ended up working out
a lot of details.  It is fairly dense, but I think the ideas are clear.

I'm a bit muddle-headed from lack of sleep at th moment, so there are
bound to be some errors and other infelicities that I've missed.
Comments/corrections/criticisms welcome.

-chris