Like most web pages, "under construction".
So where are all the St Andrews Comp Sci spods now? Find out at the spods homepage and, yes, the address for this page really is http://members.tripod.co.uk/spods/spods/ - that is blah/spods/spods/. Send any updates to Hamish Adamson.I have a history of computer science page and also some information on building a theorem prover for Zermelo-Fraenkal set theory.
Please feel free to mark your presence here by emailing me .