[S3] ================================================ AMAST Links 02 03

              Assembling a WWW page on Isabelle projects
          by Lawrence C Paulson  <Larry.Paulson@cl.cam.ac.uk>

  I'd like to assemble a WWW page detailing some of the projects that
people have done using Isabelle.  If you would like to contribute,
please send me a line or two describing what you have done.
  If possible, please include html links to relevant papers or proof
files.  I'll announce the final WWW page when it is ready.
  Thanks for your help!