[SCL] Revised CL document

[Christopher Menzel]

I've updated the CL document 
(http://cl.tamu.edu/docs/cl-syntax-semantics.html):

1) Added a short section on XML, including the DTD I sent around 
yesterday and an example;

2) Added a short section on constants for truth and falsity suggested 
by Mark Stickel;

3) Added a brief discussion of the example from Ian Horrocks 
illustrating that CL validity =/= traditional first-order validity;

4) Numerous fixes thanks largely to Mark's keen eye.

A section on SCL will be forthcoming as things stabilize.

-chris

-- 

  /\ ASCII ribbon | Chris Menzel -- http://philebus.tamu.edu/~cmenzel
  \/   campaign   | Philosophy Dept, Texas A&M University
  /\   against    | College Station, TX 77843-4237
/  \ HTML email  | voice: 979.845-5660  fax: 979.845.0458